From 10dbb70c7de7c8543f3e64549c16e2e91719fe64 Mon Sep 17 00:00:00 2001
From: Hendrik Eeckhaut <hendrik@eeckhaut.org>
Date: Wed, 17 Apr 2024 23:36:16 +0200
Subject: [PATCH] Different deployement approach in GitHub workflow

---
 .github/workflows/yew.yml | 43 ++++++++++++++-------------------------
 1 file changed, 15 insertions(+), 28 deletions(-)

diff --git a/.github/workflows/yew.yml b/.github/workflows/yew.yml
index 6e80708..66f0b22 100644
--- a/.github/workflows/yew.yml
+++ b/.github/workflows/yew.yml
@@ -10,6 +10,9 @@ on:
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:
 
+permissions:
+  contents: write
+
 jobs:
   build:
     runs-on: ubuntu-latest
@@ -25,7 +28,11 @@ jobs:
             ~/.cargo/registry
             target
           key: ${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }}
-
+      - name: Dump github context
+        run:   echo "$GITHUB_CONTEXT"
+        shell: bash
+        env:
+          GITHUB_CONTEXT: ${{ toJson(github) }}
       - name: Install Trunk
         uses: jetli/trunk-action@v0.5.0
         with:
@@ -35,33 +42,13 @@ jobs:
         run: |
           rustup target add wasm32-unknown-unknown      
       - name: Build the Rust WASM app and all of its assets
-        run: trunk build --public-url ${{ github.event.repository.name }} --release
+        run: trunk build --public-url /proof_viz --release
       - name: Setup Pages
         uses: actions/configure-pages@v5
-      - name: Upload artifact
-        uses: actions/upload-pages-artifact@v3.0.1
+      - name: Deploy to GitHub pages 
+        # For main branch only 🚀
+        if: github.ref == 'refs/heads/main'
+        uses: JamesIves/github-pages-deploy-action@v4
         with:
-          path: "./dist"
-
-  deploy:
-    needs: build    # Add a dependency to the build job
-    
-    # For main branch only
-    if: github.ref == 'refs/heads/main'
-    
-    # Grant GITHUB_TOKEN the permissions required to make a Pages deployment
-    permissions:
-        pages: write      # to deploy to Pages
-        id-token: write   # to verify the deployment originates from an appropriate source
-
-        # Deploy to the github-pages environment
-    environment:
-        name: github-pages
-        url: ${{ steps.deployment.outputs.page_url }}
-
-      # Specify runner + deployment step
-    runs-on: ubuntu-latest
-    steps:
-        - name: Deploy to GitHub Pages
-          id: deployment
-          uses: actions/deploy-pages@v4.0.5
\ No newline at end of file
+          folder: "./dist"
+          clean: true