1name: Deploy to GitHub Pages
2 
3on:
4  push:
5    branches: [docs]
6    paths:
7      - 'website/**'
8  workflow_dispatch:
9 
10permissions:
11  contents: read
12  pages: write
13  id-token: write
14 
15concurrency:
16  group: pages
17  cancel-in-progress: false
18 
19jobs:
20  build:
21    runs-on: ubuntu-latest
22    steps:
23      - name: Checkout
24        uses: actions/checkout@v4
25 
26      - name: Setup Node
27        uses: actions/setup-node@v4
28        with:
29          node-version: 20
30          cache: npm
31          cache-dependency-path: website/package-lock.json
32 
33      - name: Setup Pages
34        uses: actions/configure-pages@v4
35 
36      - name: Install dependencies
37        run: npm ci
38        working-directory: website
39 
40      - name: Build
41        run: npm run build
42        working-directory: website
43 
44      - name: Copy index.html to 404.html for SPA routing
45        run: cp website/dist/index.html website/dist/404.html
46 
47      - name: Upload artifact
48        uses: actions/upload-pages-artifact@v3
49        with:
50          path: website/dist
51 
52  deploy:
53    environment:
54      name: github-pages
55      url: ${{ steps.deployment.outputs.page_url }}
56    runs-on: ubuntu-latest
57    needs: build
58    steps:
59      - name: Deploy to GitHub Pages
60        id: deployment
61        uses: actions/deploy-pages@v4
62