Retry failed HTTP(S) fetches when appropriate. (#118) #45
Workflow file for this run
This file contains 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: Deploy Doc Site | |
| on: | |
| push: | |
| tags: | |
| - v[0-9]+.[0-9]+.[0-9]+ | |
| workflow_dispatch: | |
| inputs: | |
| ref: | |
| description: "Ref of the commit to deploy." | |
| default: "main" | |
| permissions: | |
| contents: read | |
| pages: write | |
| id-token: write | |
| concurrency: | |
| group: "pages" | |
| cancel-in-progress: false | |
| jobs: | |
| deploy: | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| env: | |
| FORCE_COLOR: 1 | |
| runs-on: ubuntu-24.04 | |
| steps: | |
| - name: Install the latest version of uv | |
| uses: astral-sh/setup-uv@v4 | |
| - name: Checkout Lift | |
| if: inputs.ref == '' | |
| uses: actions/checkout@v4 | |
| - name: Checkout Lift | |
| if: inputs.ref != '' | |
| uses: actions/checkout@v4 | |
| with: | |
| ref: ${{ inputs.ref }} | |
| - name: Build Doc Site | |
| env: | |
| # N.B.: This makes default paths in generated docs generic. | |
| XDG_CACHE_HOME: "<USER_CACHE_DIR>" | |
| run: uv run dev-cmd doc linkcheck | |
| - name: Setup Pages | |
| uses: actions/configure-pages@v4 | |
| - name: Upload artifact | |
| uses: actions/upload-pages-artifact@v3 | |
| with: | |
| path: "docs/build/html/" | |
| - name: Deploy to GitHub Pages | |
| id: deployment | |
| uses: actions/deploy-pages@v4 |