update slides #4
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-slides | |
| # Publish the self-contained slide deck (docs/index.html) to GitHub Pages. | |
| # Uses the GitHub Actions Pages pipeline, so no "deploy from a branch" setting | |
| # is needed — just set Settings -> Pages -> Source: "GitHub Actions" once. | |
| on: | |
| push: | |
| branches: [main] | |
| paths: | |
| - "docs/**" | |
| - ".github/workflows/pages.yml" | |
| workflow_dispatch: | |
| # Grant the token the permissions the deploy-pages action needs. | |
| permissions: | |
| contents: read | |
| pages: write | |
| id-token: write | |
| # Allow only one concurrent deployment; let an in-progress run finish so a | |
| # half-published site is never left live. | |
| concurrency: | |
| group: pages | |
| cancel-in-progress: false | |
| jobs: | |
| deploy: | |
| runs-on: ubuntu-latest | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Configure Pages | |
| uses: actions/configure-pages@v5 | |
| with: | |
| # Turn on Pages (Build source = GitHub Actions) via the API if it isn't | |
| # already enabled, so no manual Settings -> Pages step is required. | |
| enablement: true | |
| - name: Upload docs/ as the Pages artifact | |
| uses: actions/upload-pages-artifact@v3 | |
| with: | |
| # docs/index.html is served at the site root; other docs assets ride along. | |
| path: docs | |
| - name: Deploy to GitHub Pages | |
| id: deployment | |
| uses: actions/deploy-pages@v4 |