Adapted .github page publish workflow

wbcsd · Nov 14, 2024 · 64e5712 · 64e5712
1 parent 8ec9301
commit 64e5712
Showing 1 changed file with 4 additions and 7 deletions.
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
@@ -32,17 +32,14 @@ jobs:
         uses: actions/checkout@v3
       - name: Setup Pages
         uses: actions/configure-pages@v2
-      - name: Install Bikeshed
-        run: pip3 install bikeshed && bikeshed update
-      - name: Install Mermaid
-        run: npm list -g @mermaid-js/mermaid-cli || npm install -g @mermaid-js/mermaid-cli
+      - name: Install Bikeshed and Mermaid
+        run: make install
       - name: Build specs
-        run: make -C spec publish && make -C spec/v2 publish && make -C spec/faq publish
+        run: make all
       - name: Upload artifact
         uses: actions/upload-pages-artifact@v1
         with:
-          # Upload entire repository
-          path: "upload"
+          path: "build"
       - name: Deploy to GitHub Pages
         id: deployment
         uses: actions/deploy-pages@v1