Skip to content
Closed
Show file tree
Hide file tree
Changes from 2 commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 7 additions & 1 deletion .github/workflows/master.yml
Original file line number Diff line number Diff line change
Expand Up @@ -77,6 +77,12 @@ jobs:
file: ./coverage.xml
sphinx:
# If the above worked:
# Build docs and upload to GH Pages
# Build docs and upload to GH Pages -- only on push (merge to master/future),
# never on pull_request: a PR whose branch lives in a fork (including the
# author's own fork) gets a read-only GITHUB_TOKEN by GitHub's own design,
# so the gh-pages push step always fails there regardless of repo settings.
# Publishing unreviewed PR content to the live docs site isn't desired
# either way.
needs: unittest
if: ${{ github.event_name != 'pull_request' }}
uses: ./.github/workflows/sphinx.yml
1 change: 0 additions & 1 deletion .github/workflows/sphinx.yml
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,6 @@ on:
jobs:
sphinx:
runs-on: ubuntu-22.04
# if: ${{ github.event_name != 'pull_request' }}
steps:
- uses: actions/checkout@v4
- name: Set up Python 3.12
Expand Down