1name: Deploy to GitHub Pages
2on:
3 push:
4 branches: ['main']
5 paths:
6 - 'web-ui/**'
7 - 'paper/**'
8 workflow_dispatch:
10# Sets the GITHUB_TOKEN permissions to allow deployment to GitHub Pages
11permissions:
12 contents: read
13 pages: write
14 id-token: write
16# Allow one concurrent deployment
17concurrency:
18 group: 'pages'
19 cancel-in-progress: true
21jobs:
22 # Single deploy job since we're just deploying
23 deploy:
24 environment:
25 name: github-pages
26 url: ${{ steps.deployment.outputs.page_url }}
27 runs-on: ubuntu-latest
28 steps:
29 - name: Checkout
30 uses: actions/checkout@v4
31 - name: Set up Node
32 uses: actions/setup-node@v4
33 with:
34 node-version: 20
35 cache: 'npm'
36 cache-dependency-path: './web-ui/package-lock.json'
37 - name: Install dependencies
38 run: cd web-ui && npm install
39 - name: Build
40 run: cd web-ui && npm run build
41 - name: Setup Pages
42 uses: actions/configure-pages@v4
43 - name: Upload artifact
44 uses: actions/upload-pages-artifact@v3
45 with:
46 # Upload dist folder
47 path: './web-ui/dist'
48 - name: Deploy to GitHub Pages
49 id: deployment
50 uses: actions/deploy-pages@v4