Merge pull request #51 from peopleworks/release/0.17.0 #3
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: Pages | |
| on: | |
| push: | |
| branches: [main] | |
| paths: | |
| - 'site/**' | |
| - 'docs/assets/**' | |
| - '.github/workflows/pages.yml' | |
| workflow_dispatch: | |
| # One deployment at a time, and never cancel one mid-flight: a half-published site is worse | |
| # than a slightly stale one. | |
| concurrency: | |
| group: pages | |
| cancel-in-progress: false | |
| permissions: | |
| contents: read | |
| pages: write | |
| id-token: write | |
| jobs: | |
| deploy: | |
| name: Build and deploy | |
| runs-on: ubuntu-latest | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| steps: | |
| - uses: actions/checkout@v7 | |
| - name: Configure Pages | |
| uses: actions/configure-pages@v5 | |
| # The page itself is one hand-written HTML file: no build step, no dependencies, nothing to | |
| # go out of date. .nojekyll stops GitHub running Jekyll over it, which would otherwise drop | |
| # any file or directory beginning with an underscore. | |
| # | |
| # The figures are copied in rather than linked from raw.githubusercontent.com. Served from | |
| # the same origin they arrive with the page instead of after it, and the site stops | |
| # depending on a host that is not the one it is published on. | |
| - name: Prepare artifact | |
| run: | | |
| touch site/.nojekyll | |
| mkdir -p site/assets | |
| cp docs/assets/* site/assets/ | |
| - name: Upload artifact | |
| uses: actions/upload-pages-artifact@v3 | |
| with: | |
| path: site | |
| - name: Deploy | |
| id: deployment | |
| uses: actions/deploy-pages@v4 |