Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Add compatibility tables to rendered specification #607

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
wants to merge 13 commits into
base: main
Choose a base branch
Loading
from
Prev Previous commit
Next Next commit
Update workflow to generate compat tables
  • Loading branch information
kgryte committed Mar 6, 2023
commit 741f4e9158c2af7bc53e2d0a0016a1a6c22485dd
8 changes: 8 additions & 0 deletions 8 .github/workflows/pages.yml
Original file line number Diff line number Diff line change
Expand Up @@ -78,12 +78,20 @@ jobs:
run: |
pip install -r doc-requirements.txt

# Install Node.js:
- name: 'Install Node.js'
uses: actions/setup-node@v3
with:
node-version: '16' # 'lts/*'
timeout-minutes: 5

# Generate the documentation:
- name: 'Build documentation'
run: |
# Turn warnings into errors and ensure .doctrees is not deployed:
export SPHINXOPTS="-b html -WT --keep-going -d doctrees"
make spec
make compat

# Configure Git:
- name: 'Configure Git'
Expand Down
Morty Proxy This is a proxified and sanitized view of the page, visit original site.