[ fix ] Trying to make Agda-2.8.0 build on Ubuntu

Author: banacorn

.github/workflows/test.yml

@@ -21,8 +21,10 @@ jobs:
     runs-on: ${{ matrix.os }} 
     strategy:
       matrix:
-        os: [windows-latest, ubuntu-latest, macos-latest]
-        agda: ["Agda-2.6.4", "Agda-2.7.0", "Agda-2.8.0"]
+        os: [ubuntu-latest]
+        # os: [windows-latest, ubuntu-latest, macos-latest]
+        agda: ["Agda-2.8.0"]
+        # agda: ["Agda-2.6.4", "Agda-2.7.0", "Agda-2.8.0"]
       fail-fast: false
 
     # Steps represent a sequence of tasks that will be executed as part of the job
@@ -130,7 +132,7 @@ jobs:
       - name: ⏬ Install Agda
         if: ${{ steps.check-agda.outcome == 'failure'}}
         run: |
-          stack install --resolver=lts-24.1 ${{ matrix.agda }}
+          stack install --resolver=lts-24.1 --allow-different-user ${{ matrix.agda }}
           echo "STACK_LOCAL_BIN=$(stack path --local-bin)" >> "$GITHUB_ENV"
 
       - name: 📦 Move artefacts to ${{ env.DIST }}