fix: clarify language in sync-prostdev-skills documentation #59
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: | |
| push: | |
| branches: [main] | |
| workflow_dispatch: | |
| permissions: | |
| contents: read | |
| pages: write | |
| id-token: write | |
| # Serialize deploys: let an in-progress one FINISH, queue the next. Do NOT cancel — | |
| # cancelling a Pages deploy mid-flight wedges the `github-pages` environment queue, and the | |
| # next run then polls `deployment_queued` until it TIMES OUT (~10m). This bit us when a commit | |
| # + its submodule-pointer bump landed minutes apart. GitHub's own Pages starter uses `false`. | |
| concurrency: | |
| group: pages | |
| cancel-in-progress: false | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| - name: Install, build, and upload | |
| uses: withastro/action@v4 | |
| # withastro/action runs `npm ci && npm run build` (which also runs | |
| # `pagefind --site dist`) and uploads ./dist as the Pages artifact. | |
| deploy: | |
| needs: build | |
| runs-on: ubuntu-latest | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| steps: | |
| - name: Deploy to GitHub Pages | |
| id: deployment | |
| uses: actions/deploy-pages@v4 |