1name: Deploy to GitHub Pages
3on:
4 push:
5 branches: [ "main" ]
6 workflow_dispatch:
8permissions:
9 contents: read
10 pages: write
11 id-token: write
13concurrency:
14 group: "pages"
15 cancel-in-progress: false
17jobs:
18 deploy:
19 environment:
20 name: github-pages
21 url: ${{ steps.deployment.outputs.page_url }}
22 runs-on: ubuntu-latest
23 steps:
24 - name: Checkout
25 uses: actions/checkout@v4
27 - name: Install pandoc and pandoc-citeproc
28 run: |
29 sudo apt-get update
30 sudo apt-get install -y pandoc pandoc-citeproc
32 - name: Setup Node.js
33 uses: actions/setup-node@v3
34 with:
35 node-version: '20'
36 cache: 'npm'
37 cache-dependency-path: web-ui/package-lock.json
39 - name: Build paper
40 run: |
41 chmod +x devel/copy_paper_to_web.sh
42 ./devel/copy_paper_to_web.sh
44 - name: Install dependencies
45 working-directory: web-ui
46 run: npm ci
48 - name: Build website
49 working-directory: web-ui
50 run: npm run build
52 - name: Setup Pages
53 uses: actions/configure-pages@v4
55 - name: Upload artifact
56 uses: actions/upload-pages-artifact@v3
57 with:
58 path: web-ui/dist
60 - name: Deploy to GitHub Pages
61 id: deployment
62 uses: actions/deploy-pages@v4