[ 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,19 @@ jobs:
       - name: ⏬ Install Agda
         if: ${{ steps.check-agda.outcome == 'failure'}}
         run: |
-          stack install --resolver=lts-24.1 ${{ matrix.agda }}
+          # Create temporary stack.yaml with extra-deps
+          cat > stack-temp.yaml << EOF
+          resolver: lts-24.1
+          compiler: ghc-9.10.2
+          packages: []
+          extra-deps:
+            - ${{ matrix.agda }}
+            - hashable-1.4.7.0
+            - alex-3.5.3.1
+            - network-simple-0.4.2
+          EOF
+          
+          stack install --stack-yaml=stack-temp.yaml --allow-different-user ${{ matrix.agda }}
           echo "STACK_LOCAL_BIN=$(stack path --local-bin)" >> "$GITHUB_ENV"
 
       - name: 📦 Move artefacts to ${{ env.DIST }}