1name: Build and deploy to GitHub Pages
3# The hosted content is static (a fixed slice of the ABC dataset), so the
4# workflow only runs on manual dispatch — no need to re-download the ~1.6 GB
5# chunk on every push.
6on:
7 workflow_dispatch:
9permissions:
10 contents: read
11 pages: write
12 id-token: write
14concurrency:
15 group: pages
16 cancel-in-progress: false
18jobs:
19 build:
20 runs-on: ubuntu-latest
21 steps:
22 - uses: actions/checkout@v4
23 - name: Ensure 7z is available
24 run: |
25 if ! command -v 7z > /dev/null; then
26 sudo apt-get update && sudo apt-get install -y p7zip-full
27 fi
28 - name: Build site
29 run: scripts/build.sh
30 - uses: actions/upload-pages-artifact@v3
31 with:
32 path: build/site
34 deploy:
35 needs: build
36 runs-on: ubuntu-latest
37 environment:
38 name: github-pages
39 url: ${{ steps.deployment.outputs.page_url }}
40 steps:
41 - id: deployment
42 uses: actions/deploy-pages@v4