chore(deps): Bump the actions group across 1 directory with 4 updates #117
Workflow file for this run
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
| # Documentation site (docs-site/, mkdocs-material). | |
| # | |
| # Builds on every PR so site breakage is caught pre-merge; deploys on | |
| # push to main only when GitHub Pages is enabled for the repository | |
| # (Settings -> Pages -> Source: GitHub Actions), so the job stays green | |
| # while Pages is disabled. The spec page is copied from | |
| # spec/AGENT-HOOKS-0.1.md at build time; the file is not committed. | |
| name: pages | |
| on: | |
| push: | |
| branches: [main] | |
| pull_request: | |
| permissions: | |
| contents: read | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1 | |
| - uses: astral-sh/setup-uv@20cfd1bf945f4377ade1205e4dbc17946fc9a30d # v10.0.1 | |
| - name: Build site (strict) | |
| run: | | |
| uv venv .mkdocs-venv | |
| uv pip install --python .mkdocs-venv/bin/python "mkdocs-material==9.6.23" | |
| cp spec/AGENT-HOOKS-0.1.md docs-site/docs/spec.md | |
| # Publish the machine-readable schemas so every $id dereferences. | |
| mkdir -p docs-site/docs/schema/v0.1/agent-context docs-site/docs/schema/v0.1/conformance | |
| cp spec/schema/*.json docs-site/docs/schema/v0.1/ | |
| cp spec/schema/agent-context/*.json docs-site/docs/schema/v0.1/agent-context/ | |
| cp spec/reserved-reasons.json docs-site/docs/schema/v0.1/ | |
| cp conformance/vectors.schema.json docs-site/docs/schema/v0.1/conformance/ | |
| .mkdocs-venv/bin/mkdocs build --strict -f docs-site/mkdocs.yml -d "$PWD/site" | |
| - name: Upload Pages artifact | |
| if: github.event_name == 'push' | |
| uses: actions/upload-pages-artifact@fc324d3547104276b827a68afc52ff2a11cc49c9 # v5.0.0 | |
| with: | |
| path: site | |
| deploy: | |
| if: github.event_name == 'push' | |
| needs: build | |
| runs-on: ubuntu-latest | |
| permissions: | |
| pages: write | |
| id-token: write | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| steps: | |
| - name: Check whether Pages is enabled | |
| id: enabled | |
| env: | |
| GH_TOKEN: ${{ github.token }} | |
| run: | | |
| if gh api "repos/${GITHUB_REPOSITORY}/pages" --silent 2>/dev/null; then | |
| echo "pages=true" >> "$GITHUB_OUTPUT" | |
| else | |
| echo "pages=false" >> "$GITHUB_OUTPUT" | |
| echo "GitHub Pages is not enabled; skipping deploy." | |
| fi | |
| - name: Deploy to GitHub Pages | |
| if: steps.enabled.outputs.pages == 'true' | |
| id: deployment | |
| uses: actions/deploy-pages@cd2ce8fcbc39b97be8ca5fce6e763baed58fa128 # v5.0.0 |