bench: the OOF null explained by measurement, not speculation #34
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: Deploy docs to GitHub Pages | |
| # Builds the Astro/Starlight site in website/ and deploys it to GitHub Pages. | |
| # Requires Pages to be enabled once in repo Settings > Pages with the source set | |
| # to "GitHub Actions". While the repo is internal, set the Pages visibility to | |
| # Private there so only enterprise members can view the site; flip it to Public | |
| # when the repo goes public (the two settings are independent). | |
| on: | |
| push: | |
| branches: [main] | |
| paths: | |
| - "website/**" | |
| - ".github/workflows/pages.yml" | |
| workflow_dispatch: | |
| permissions: | |
| contents: read | |
| pages: write | |
| id-token: write | |
| # One deploy at a time; don't cancel an in-flight publish. | |
| concurrency: | |
| group: pages | |
| cancel-in-progress: false | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| defaults: | |
| run: | |
| working-directory: website | |
| steps: | |
| - uses: actions/checkout@v7 | |
| # Reads the live Pages config and exposes the correct origin + base_path | |
| # for the current URL (root subdomain while private, /sqlite-predict once | |
| # public). We feed those into the Astro build so one build serves either. | |
| - uses: actions/configure-pages@v5 | |
| id: pages | |
| - uses: actions/setup-node@v7 | |
| with: | |
| node-version: 22 | |
| cache: npm | |
| cache-dependency-path: website/package-lock.json | |
| - run: npm ci | |
| - run: npm run build | |
| env: | |
| PAGES_BASE_PATH: ${{ steps.pages.outputs.base_path }} | |
| PAGES_ORIGIN: ${{ steps.pages.outputs.origin }} | |
| - uses: actions/upload-pages-artifact@v5 | |
| with: | |
| path: website/dist | |
| deploy: | |
| needs: build | |
| runs-on: ubuntu-latest | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| steps: | |
| - id: deployment | |
| uses: actions/deploy-pages@v4 |