chore: bump version to 0.11.0 #56
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
| name: Deploy to GitHub Pages | |
| on: | |
| # Tag-gated publish. Push a `doc-v*` tag (e.g. `doc-v1.0.0`) when the | |
| # docs/harness state is worth promoting to GitHub Pages. Routine | |
| # commits to main — including frequent harness/logs churn — no longer | |
| # auto-deploy. The deploy uploads the entire repo as the Pages | |
| # artifact so the viewer can reach upstream MDs (harness/, Docs/) | |
| # directly via `../../<rel>` — no duplicating mirror. | |
| push: | |
| tags: | |
| - 'doc-v*' | |
| # Manual trigger — escape hatch for ad-hoc republishes (e.g. fixing a | |
| # rendering glitch on the live site without bumping the doc version). | |
| workflow_dispatch: | |
| permissions: | |
| contents: read | |
| pages: write | |
| id-token: write | |
| concurrency: | |
| group: pages | |
| cancel-in-progress: true | |
| jobs: | |
| deploy: | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| with: | |
| # Full history is required so build-indexes.js's gitContributors / | |
| # gitCommitCount / gitTopChangedFiles can scan the real commit log. | |
| # Default checkout is --depth=1 (shallow), which collapses every | |
| # contributor stat to "1 commit" on the published Pages site even | |
| # though local builds show the real numbers. Don't drop this. | |
| fetch-depth: 0 | |
| - name: Setup Node | |
| uses: actions/setup-node@v4 | |
| with: | |
| node-version: '20' | |
| - name: Build harness-view manifests | |
| # Regenerates Home/harness-view/indexes/*.json from the live | |
| # source tree. The mirror that used to sit at Home/_resources/ | |
| # was removed (2026-05-04) — the artifact now uploads the entire | |
| # repo so the viewer reaches harness/, Docs/ directly. | |
| run: node Home/harness-view/scripts/build-indexes.js | |
| - name: Setup Pages | |
| uses: actions/configure-pages@v5 | |
| with: | |
| # Create the Pages site on first run if it does not exist yet | |
| # (requires repo `pages: write` permission, already granted above). | |
| enablement: true | |
| - name: Upload artifact | |
| uses: actions/upload-pages-artifact@v3 | |
| with: | |
| # Upload the entire repo so the viewer can reach upstream | |
| # files (harness/, Docs/) directly — no duplicating mirror. | |
| path: . | |
| - name: Deploy to GitHub Pages | |
| id: deployment | |
| uses: actions/deploy-pages@v4 |