Repository navigation
chore(deps): bump github/codeql-action from 4.38.0 to 4.38.1 in the a… #108
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
| # This workflow is managed by gh actions-lock. | |
| # SPDX-License-Identifier: MPL-2.0 | |
| # | |
| # Deploys the prebuilt static site committed under site/ — CI deliberately | |
| # performs NO build step. The previous casket-ssg (Haskell) build never | |
| # completed inside its timeout in ~93 runs (issue #74), so the site artifact | |
| # is committed and this workflow only deploys it. See site/README.adoc for | |
| # the regeneration contract. (Filename kept as casket-pages.yml to avoid | |
| # lockfile/context churn; casket-ssg is no longer involved.) | |
| name: GitHub Pages | |
| on: | |
| push: | |
| branches: [main, master] | |
| workflow_dispatch: | |
| permissions: | |
| actions: read | |
| 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 }} | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 5 | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v7.0.1 | |
| - name: Setup Pages | |
| uses: actions/configure-pages@v6.0.0 | |
| - name: Upload artifact | |
| uses: actions/upload-pages-artifact@v5.0.0 | |
| with: | |
| path: 'site' | |
| - name: Deploy to GitHub Pages | |
| id: deployment | |
| uses: actions/deploy-pages@v5.0.1 |