chore(master): release 0.16.0 #21
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: | |
| push: | |
| branches: [master] | |
| pull_request: | |
| workflow_dispatch: | |
| permissions: | |
| contents: read | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| # Runs on pull requests too, without deploying. The site is built from the | |
| # repository's own markdown, so this build is also a link check over it: a | |
| # relative link that resolves to nothing fails here rather than 404ing on the | |
| # site later. | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v7 | |
| - uses: actions/setup-node@v7 | |
| with: | |
| node-version: 24 | |
| cache: npm | |
| cache-dependency-path: website/package-lock.json | |
| - run: npm ci | |
| working-directory: website | |
| - run: npm run build | |
| working-directory: website | |
| - name: Upload the site | |
| if: github.event_name != 'pull_request' | |
| uses: actions/upload-pages-artifact@v5 | |
| with: | |
| path: website/build | |
| # Needs Settings -> Pages -> Source set to "GitHub Actions" once, after which | |
| # nothing here needs a token or a branch to push to. | |
| deploy: | |
| if: github.event_name != 'pull_request' | |
| needs: build | |
| runs-on: ubuntu-latest | |
| permissions: | |
| pages: write | |
| id-token: write | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| # A deploy that is already running is left to finish rather than being | |
| # cancelled by the next push, which is what GitHub's Pages API expects. | |
| concurrency: | |
| group: pages | |
| cancel-in-progress: false | |
| steps: | |
| - id: deployment | |
| uses: actions/deploy-pages@v5 |