Deployment fixes

.github/workflows/ci.yml

@@ -15,10 +15,13 @@ env:
 jobs:
   build_server:
     name: Build server
-    runs-on: ubuntu-latest
+    # Note that this must be kept in sync with the version of Ubuntu which the
+    # Try PureScript server is running, otherwise the server binary may fail to
+    # run.
+    runs-on: ubuntu-20.04
     steps:
       - uses: actions/checkout@v2
-      
+
       - uses: haskell/actions/setup@v1
         with:
           enable-stack: true
@@ -59,7 +62,10 @@ jobs:
 
   build_client:
     name: Build client
-    runs-on: ubuntu-latest
+    # Note that this must be kept in sync with the version of Ubuntu which the
+    # Try PureScript server is running, otherwise the server binary may fail to
+    # run.
+    runs-on: ubuntu-20.04
     steps:
       - uses: actions/checkout@v2
       - uses: actions/setup-node@v2
@@ -90,7 +96,10 @@ jobs:
 
   release:
     name: Release
-    runs-on: ubuntu-latest
+    # Note that this must be kept in sync with the version of Ubuntu which the
+    # Try PureScript server is running, otherwise the server binary may fail to
+    # run.
+    runs-on: ubuntu-20.04
     if: github.event_name == 'release'
     env:
       GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

deploy/start

@@ -2,6 +2,6 @@
 
 set -ex
 set -o noglob
-export XDG_CACHE_HOME=.spago-cache
+export XDG_CACHE_HOME="$PWD/.spago-cache"
 spago install
 exec trypurescript +RTS -N2 -A128m -M3G -RTS 8081 $(spago sources)