chore(tket): 🦀 release #4085
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Build and publish docs | |
| on: | |
| push: | |
| branches: | |
| - main | |
| pull_request: | |
| branches: | |
| - "**" | |
| workflow_dispatch: {} | |
| permissions: | |
| contents: read | |
| pages: write | |
| id-token: write | |
| env: | |
| UV_VERSION: "0.11.15" | |
| UV_FROZEN: 1 | |
| jobs: | |
| # Check if changes were made to the relevant files. | |
| # Always returns true if running on the default branch, to ensure all changes are thoroughly checked. | |
| changes: | |
| name: Check for changes | |
| runs-on: ubuntu-latest | |
| permissions: | |
| pull-requests: read | |
| outputs: | |
| python: ${{ steps.filter.outputs.python || github.event_name != 'pull_request' }} | |
| steps: | |
| - uses: actions/checkout@v7 | |
| - uses: ./.github/actions/check-changes | |
| id: filter | |
| test: | |
| name: Test sphinx docs build | |
| needs: [changes] | |
| if: ${{ needs.changes.outputs.python == 'true' }} | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v7 | |
| with: | |
| submodules: true | |
| - uses: extractions/setup-just@v4 | |
| with: | |
| just-version: "1.40.0" | |
| - uses: quantinuum/hugrverse-env/install-hugrenv-action@main | |
| with: | |
| packages: "tket" | |
| - name: Install uv | |
| uses: astral-sh/setup-uv@v7 | |
| with: | |
| enable-cache: true | |
| version: ${{ env.UV_VERSION }} | |
| - name: Run the docs build | |
| run: | | |
| just tket/build-pydocs | |
| - name: Upload artifact. | |
| uses: actions/upload-pages-artifact@v5 | |
| with: | |
| path: ./tket/tket-py/docs/build | |
| publish: | |
| name: Publish docs. | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| runs-on: ubuntu-latest | |
| needs: [test, changes] | |
| if: ${{ needs.changes.outputs.python == 'true' && github.event_name == 'push' }} | |
| steps: | |
| - name: Setup Pages | |
| uses: actions/configure-pages@v6 | |
| - name: Deploy to GitHub Pages. | |
| id: deployment | |
| uses: actions/deploy-pages@v5 |