Add pages action

WGUNDERWOOD · Jan 12, 2025 · daaee40 · daaee40
1 parent cf95e8d
commit daaee40
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -76,6 +76,25 @@ jobs:
           options: -Oz
           file: web/pkg/tex_fmt_bg.wasm
           output: web/pkg/tex_fmt_bg.wasm
+      - name: Upload wasm
+        if: github.ref == 'refs/heads/main'
+        uses: actions/upload-artifact@v3
+        with:
+          path: "web/pkg"
+  pages:
+    if: github.ref == 'refs/heads/main'
+    name: Deploy to GitHub Pages
+    runs-on: ubuntu-latest
+    needs: wasm
+    steps:
+      - uses: actions/checkout@v3
+      - name: Download WASM and JS artifacts
+        uses: actions/download-artifact@v3
+      - run: mkdir -p web/pkg && mv pkg/* web/pkg/ && rmdir pkg
+      - uses: peaceiris/actions-gh-pages@v3
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: web
   nix:
     name: Nix build
     runs-on: ubuntu-latest