Update flake and playground

.envrc

@@ -1,2 +1,9 @@
-use flake
-eval "$shellHook"
+if ! type "nix" > /dev/null; then
+    use nix -A default
+    eval "$shellHook"
+    use nix -A ghcjs
+else
+    use flake .#default
+    eval "$shellHook"
+    use flake .#ghcjs
+fi

.github/workflows/build-test.yml

@@ -28,16 +28,9 @@ jobs:
         uses: actions/checkout@v3
 
       - name: 🧰 Setup Stack
-        uses: haskell/actions/setup@v1
+        uses: freckle/stack-action@v4
         with:
-          enable-stack: true
-
-      - name: 💾 Cache .stack/
-        uses: actions/cache@v2
-        with:
-          path: |
-            .stack
-          key: ${{ runner.os }}-${{ hashFiles('stack.yaml.lock', 'rzk.cabal') }}-stack
+          cache-prefix: ${{ runner.os }}-stack-
 
       - name: 🔨 Install BNFC, alex and happy (with Stack)
         run: |

.github/workflows/ghcjs.yml

@@ -7,14 +7,18 @@ on:
     paths:
       - .github/workflows/ghcjs.yml
       - rzk/**
-      - try-rzk/**
+      - rzk-js/**
+      - rzk-playground/**
       - stack.yaml
+      - '**/*.nix'
   pull_request:
     branches: [main, develop]
     paths:
       - rzk/**
-      - try-rzk/**
+      - rzk-js/**
+      - rzk-playground/**
       - stack.yaml
+      - '**/*.nix'
 
   workflow_dispatch: # allow triggering this workflow manually
 
@@ -28,44 +32,60 @@ jobs:
       - name: 📥 Checkout repository
         uses: actions/checkout@v3
 
-      - name: 🧰 Setup nix
+      - name: ❄️ Install Nix
         uses: nixbuild/nix-quick-install-action@v25
         with:
           nix_conf: |
             substituters = https://cache.nixos.org/ https://cache.iog.io https://nix-community.cachix.org https://miso-haskell.cachix.org
             trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= nix-community.cachix.org-1:mB9FSh9qf2dCimDSUo8Zy7bkq5CX+/rkCWyvRCYg3Fs= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ= miso-haskell.cachix.org-1:6N2DooyFlZOHUfJtAx1Q09H0P5XXYzoxxQYiwn6W1e8=
             keep-outputs = true
 
-      - name: Restore and cache Nix store
-        uses: nix-community/cache-nix-action@v1
+      - name: 👝 Restore and Cache Nix store
+        uses: nix-community/cache-nix-action@v4
         with:
-          key: ${{ runner.os }}-nix-${{ hashfiles('./flake.nix', './flake.lock', '.github/workflows/ghcjs.yml') }}
+          key: ${{ runner.os }}-nix-${{ hashfiles('./flake.nix', './flake.lock', '.github/workflows/ghcjs.yml', './rzk/rzk.cabal') }}
           restore-keys: |
-            ${{ runner.os }}-nix-${{ hashfiles('./flake.nix', './flake.lock', '.github/workflows/ghcjs.yml') }}
+            ${{ runner.os }}-nix-${{ hashfiles('./flake.nix', './flake.lock', '.github/workflows/ghcjs.yml', './rzk/rzk.cabal') }}
             ${{ runner.os }}-nix-
+          gc-linux: true
+          gc-max-store-size-linux: 7000000000
+          purge: true
+          purge-created-max-age: 1209600
+
+      - name: 👝 Restore and Cache NextJS cache
+        uses: actions/cache@v3
+        with:
+          key: ${{ runner.os }}-next-${{ hashFiles('**/package-lock.json') }}
+          restore-keys: |
+            ${{ runner.os }}-next-
+          path: |
+            ~/.npm
+            rzk-playground/.next/cache
 
       - name: 🔨 Remove lexer and parser generator files
         run: |
           rm -f rzk/src/Language/Rzk/Syntax/Lex.x
           rm -f rzk/src/Language/Rzk/Syntax/Par.y
 
-      - name: 🔨 Build GHCJS version with Nix
-        run: |
-          nix build .#try-rzk || (nix log /nix/store/*-rzk-0.6.3.drv ; false)
+      # Uncomment to debug this job
+      # - name: Setup tmate session
+      #   uses: mxschmitt/action-tmate@v3
 
-      - name: 🔨 Collect build artifacts
+      - name: 🔨 Build Playground
+        env:
+          BASEPATH: /${{ github.event.repository.name }}/${{ github.ref_name }}/playground
         run: |
-          mkdir -p dist/result/bin
-          cp -r result/bin/try-rzk.jsexe/ dist/result/bin/.
-          chmod -R +w dist/
-          cp try-rzk/index.html dist/.
+          nix run .#release-rzk-playground
+
+      - name: 🔨 Save flake from garbage collection
+        run: nix run .#save-flake
 
       - name: '🚀 Publish JS "binaries" (${{ github.ref_name }})'
         if: ${{ github.ref_name != 'main' && github.event_name == 'push' }}
         uses: JamesIves/github-pages-deploy-action@v4
         with:
           token: ${{ secrets.GITHUB_TOKEN }}
-          folder: dist
+          folder: rzk-playground-release
           target-folder: ${{ github.ref_name }}/playground
           clean: false
           single-commit: true
@@ -75,7 +95,7 @@ jobs:
         uses: JamesIves/github-pages-deploy-action@v4
         with:
           token: ${{ secrets.GITHUB_TOKEN }}
-          folder: dist
+          folder: rzk-playground-release
           target-folder: playground
           clean: false
           single-commit: true

.gitignore

@@ -32,4 +32,5 @@ __pycache__
 *.fdb_latexmk
 *.fls
 *.log
-rzk/doc/
+rzk/doc/
+/rzk-playground-release