Record why wide concurrency is safe on baseline batches #9
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
| # Deploys results/report.html to GitHub Pages on every push to main. | |
| # Publishing the report IS pushing: the report is committed alongside the | |
| # change that produced it (see AGENTS.md), so main always carries the version | |
| # the gates approved. | |
| name: pages | |
| on: | |
| push: | |
| branches: [main] | |
| workflow_dispatch: | |
| permissions: | |
| contents: read | |
| pages: write | |
| id-token: write | |
| concurrency: | |
| group: pages | |
| cancel-in-progress: true | |
| jobs: | |
| deploy: | |
| runs-on: ubuntu-latest | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| steps: | |
| - uses: actions/checkout@v7 | |
| # the Pages site itself was created once by hand (Settings > Pages > | |
| # Source: GitHub Actions); no token available here can create it | |
| - uses: actions/configure-pages@v6 | |
| - name: Stage the report as the site root | |
| run: | | |
| mkdir -p _site | |
| cp results/report.html _site/index.html | |
| - uses: actions/upload-pages-artifact@v5 | |
| - uses: actions/deploy-pages@v5 | |
| id: deployment |