[chore]: weekly bump of uv.lock on main (2026-04-18) #6422
Workflow file for this run
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: Docs | |
| on: | |
| pull_request: | |
| types: [opened, synchronize, reopened, closed] | |
| branches: [main, release/*, feature/*] | |
| push: | |
| branches: [main] | |
| schedule: | |
| - cron: "0 0 * * *" # Nightly | |
| workflow_dispatch: | |
| # On-demand | |
| concurrency: | |
| # Cancel previous runs if new commit is pushed | |
| group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.sha }} | |
| cancel-in-progress: true | |
| permissions: | |
| contents: write # push to gh-pages branch | |
| pull-requests: write # post/update preview URL comment on PRs | |
| jobs: | |
| build-docs: | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 30 | |
| steps: | |
| - uses: actions/checkout@v6 | |
| - uses: ./.github/actions/ubuntu-setup | |
| - name: Build docs | |
| run: pip install nox uv && nox -s docs | |
| - name: Upload docs artifact | |
| if: github.event_name == 'push' || github.event_name == 'schedule' || github.event_name == 'workflow_dispatch' | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: docs-html | |
| path: docs/build/html | |
| deploy-preview: | |
| if: github.event_name == 'pull_request' | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 30 | |
| # Per-PR concurrency without cancel-in-progress so 'closed' cleanup always runs | |
| concurrency: | |
| group: pr-preview-${{ github.event.pull_request.number }} | |
| steps: | |
| - uses: actions/checkout@v6 | |
| - uses: ./.github/actions/ubuntu-setup | |
| - name: Build docs | |
| if: github.event.action != 'closed' | |
| run: pip install nox uv && nox -s docs | |
| - name: Deploy / remove PR preview | |
| uses: rossjrw/pr-preview-action@v1 | |
| with: | |
| source-dir: docs/build/html | |
| deploy-gh-pages: | |
| if: github.event_name == 'push' || github.event_name == 'schedule' || github.event_name == 'workflow_dispatch' | |
| needs: build-docs | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v6 | |
| - name: Download docs artifact | |
| uses: actions/download-artifact@v4 | |
| with: | |
| name: docs-html | |
| path: docs/build/html | |
| - name: Deploy to GitHub Pages | |
| uses: JamesIves/github-pages-deploy-action@v4 | |
| with: | |
| folder: docs/build/html | |
| # Preserve PR preview subdirectories deployed by the deploy-preview job | |
| clean-exclude: pr-preview |