feat(#1485): cross-harness Exarchos binding via session lifecycle hoo… #22
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 Documentation | |
| on: | |
| push: | |
| branches: [main] | |
| paths: | |
| - 'documentation/**' | |
| # The bootstrap installers are served from the Pages site at | |
| # /exarchos/get-exarchos.sh (and .ps1) — see the copy step below. | |
| # A change to the canonical script under scripts/ must trigger a | |
| # redeploy or the public URL will lag the repo. | |
| - 'scripts/get-exarchos.sh' | |
| - 'scripts/get-exarchos.ps1' | |
| workflow_dispatch: | |
| permissions: | |
| contents: read | |
| pages: write | |
| id-token: write | |
| concurrency: | |
| group: pages | |
| cancel-in-progress: false | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: actions/setup-node@v4 | |
| with: | |
| node-version: 24 | |
| - name: Install dependencies | |
| working-directory: documentation | |
| run: npm install | |
| - name: Stage bootstrap installers into Pages /public | |
| # Single source of truth: scripts/get-exarchos.{sh,ps1}. The copies in | |
| # documentation/public/ are build artifacts (gitignored); the deploy | |
| # step below ships them at /exarchos/get-exarchos.sh and .ps1 so the | |
| # README can advertise the install one-liner without baking a tagged | |
| # raw.githubusercontent.com URL into user-facing docs. | |
| run: | | |
| set -euo pipefail | |
| install -m 0755 scripts/get-exarchos.sh documentation/public/get-exarchos.sh | |
| install -m 0644 scripts/get-exarchos.ps1 documentation/public/get-exarchos.ps1 | |
| - name: Build documentation | |
| working-directory: documentation | |
| run: npm run docs:build | |
| - uses: actions/upload-pages-artifact@v3 | |
| with: | |
| path: documentation/.vitepress/dist | |
| deploy: | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| needs: build | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Deploy to GitHub Pages | |
| id: deployment | |
| uses: actions/deploy-pages@v4 |