updated publish action

.github/workflows/static.yml

@@ -5,7 +5,7 @@ on:
             - main
 jobs:
     ghcjs:
-        name: GHC Javascript Job
+        name: Publish Web app 
         runs-on: ubuntu-latest
         defaults:
             run:
@@ -15,22 +15,16 @@ jobs:
 
         steps:
         - uses: actions/checkout@v4
-        - name: Install emscripten
-          uses: mymindstorm/setup-emsdk@v14
-        - name: Add GHCup release channel for crosscompiler
-          run: ghcup config add-release-channel https://raw.githubusercontent.com/haskell/ghcup-metadata/develop/ghcup-cross-0.0.8.yaml
-        - name: Install GHC cross compiler
-          run: emconfigure ghcup install ghc --set javascript-unknown-ghcjs-9.6.2
-        - name: Update cabal
-          run: cabal update
+        - name: Install Purescript and Spago 
+          uses: purescript-contrib/setup-puresctript@main 
         - name: Build project
-          run: cabal build --with-compiler=javascript-unknown-ghcjs-ghc --with-hc-pkg=javascript-unknown-ghcjs-ghc-pkg web-app
+          run: make build 
         - name: Move files
           run: |
             mkdir ../public
-            mv dist-newstyle/build/javascript-ghcjs/ghc-9.6.2/one-sided-sequent-0.1/x/web-app/build/web-app/web-app.jsexe/all.js ../public
             mv web-app/index.html ../public
             mv web-app/main.css   ../public
+            mv web-app/index.js   ../public
         - name: Deploy
           uses: JamesIves/github-pages-deploy-action@v4
           with: