deploy gh pages
2 changed files+30−80
.github/workflows/deploy-gh-pages.ymlmodified+30−18View file
@@ -1,25 +1,20 @@
11 name: Deploy to GitHub Pages
2+
23 on:
34 push:
4- branches: ['main']
5- paths:
6- - 'web-ui/**'
7- - 'paper/**'
5+ branches: [ "main" ]
86 workflow_dispatch:
97
10-# Sets the GITHUB_TOKEN permissions to allow deployment to GitHub Pages
118 permissions:
129 contents: read
1310 pages: write
1411 id-token: write
1512
16-# Allow one concurrent deployment
1713 concurrency:
18- group: 'pages'
19- cancel-in-progress: true
14+ group: "pages"
15+ cancel-in-progress: false
2016
2117 jobs:
22- # Single deploy job since we're just deploying
2318 deploy:
2419 environment:
2520 name: github-pages
@@ -28,23 +23,40 @@ jobs:
2823 steps:
2924 - name: Checkout
3025 uses: actions/checkout@v4
31- - name: Set up Node
32- uses: actions/setup-node@v4
26+
27+ - name: Install pandoc and pandoc-citeproc
28+ run: |
29+ sudo apt-get update
30+ sudo apt-get install -y pandoc pandoc-citeproc
31+
32+ - name: Setup Node.js
33+ uses: actions/setup-node@v3
3334 with:
34- node-version: 20
35+ node-version: '20'
3536 cache: 'npm'
36- cache-dependency-path: './web-ui/package-lock.json'
37+ cache-dependency-path: web-ui/package-lock.json
38+
39+ - name: Build paper
40+ run: |
41+ chmod +x devel/copy_paper_to_web.sh
42+ ./devel/copy_paper_to_web.sh
43+
3744 - name: Install dependencies
38- run: cd web-ui && npm install
39- - name: Build
40- run: cd web-ui && npm run build
45+ working-directory: web-ui
46+ run: npm ci
47+
48+ - name: Build website
49+ working-directory: web-ui
50+ run: npm run build
51+
4152 - name: Setup Pages
4253 uses: actions/configure-pages@v4
54+
4355 - name: Upload artifact
4456 uses: actions/upload-pages-artifact@v3
4557 with:
46- # Upload dist folder
47- path: './web-ui/dist'
58+ path: web-ui/dist
59+
4860 - name: Deploy to GitHub Pages
4961 id: deployment
5062 uses: actions/deploy-pages@v4
.github/workflows/deploy.ymldeleted+0−62View file
@@ -1,62 +0,0 @@
1-name: Deploy to GitHub Pages
2-
3-on:
4- push:
5- branches: [ "main" ]
6- workflow_dispatch:
7-
8-permissions:
9- contents: read
10- pages: write
11- id-token: write
12-
13-concurrency:
14- group: "pages"
15- cancel-in-progress: false
16-
17-jobs:
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
26-
27- - name: Install pandoc and pandoc-citeproc
28- run: |
29- sudo apt-get update
30- sudo apt-get install -y pandoc pandoc-citeproc
31-
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
38-
39- - name: Build paper
40- run: |
41- chmod +x devel/copy_paper_to_web.sh
42- ./devel/copy_paper_to_web.sh
43-
44- - name: Install dependencies
45- working-directory: web-ui
46- run: npm ci
47-
48- - name: Build website
49- working-directory: web-ui
50- run: npm run build
51-
52- - name: Setup Pages
53- uses: actions/configure-pages@v4
54-
55- - name: Upload artifact
56- uses: actions/upload-pages-artifact@v3
57- with:
58- path: web-ui/dist
59-
60- - name: Deploy to GitHub Pages
61- id: deployment
62- uses: actions/deploy-pages@v4