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

Author: banacorn

.github/workflows/test.yml

@@ -130,7 +130,11 @@ 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 \
+            --extra-dep=hashable-1.4.7.0 \
+            --extra-dep=alex-3.5.3.1 \
+            --extra-dep=network-simple-0.4.2 \
+            ${{ matrix.agda }}
           echo "STACK_LOCAL_BIN=$(stack path --local-bin)" >> "$GITHUB_ENV"
 
       - name: 📦 Move artefacts to ${{ env.DIST }}