update workflow
1 changed file+11−6
.github/workflows/deploy-gh-pages.ymlmodified+11−6View file
@@ -2,17 +2,22 @@ name: Deploy to GitHub Pages
22
33 on:
44 push:
5- branches: [ "main" ]
5+ branches: ['main']
6+ paths:
7+ - 'web-ui/**'
8+ - 'paper/**'
69 workflow_dispatch:
710
11+# Sets the GITHUB_TOKEN permissions to allow deployment to GitHub Pages
812 permissions:
913 contents: read
1014 pages: write
1115 id-token: write
1216
17+# Allow one concurrent deployment
1318 concurrency:
14- group: "pages"
15- cancel-in-progress: false
19+ group: 'pages'
20+ cancel-in-progress: true
1621
1722 jobs:
1823 deploy:
@@ -24,10 +29,10 @@ jobs:
2429 - name: Checkout
2530 uses: actions/checkout@v4
2631
27- - name: Install pandoc and pandoc-citeproc
32+ - name: Install pandoc
2833 run: |
2934 sudo apt-get update
30- sudo apt-get install -y pandoc pandoc-citeproc
35+ sudo apt-get install -y pandoc
3136
3237 - name: Setup Node.js
3338 uses: actions/setup-node@v3
@@ -55,7 +60,7 @@ jobs:
5560 - name: Upload artifact
5661 uses: actions/upload-pages-artifact@v3
5762 with:
58- path: web-ui/dist
63+ path: ./web-ui/dist
5964
6065 - name: Deploy to GitHub Pages
6166 id: deployment