[ fix ] CI for Agda-2.6.4.3

Author: banacorn

.github/stack/stack-Agda-2.6.4.3.yaml

@@ -0,0 +1,10 @@
+resolver: lts-24.1
+compiler: ghc-9.10.2
+# Allow a newer minor version of GHC than the snapshot specifies
+compiler-check: newer-minor
+
+packages: []
+
+extra-deps:
+- Agda-2.6.4.3           
+- hashable-1.4.7.0@sha256:573f3ab242f75465a0d67ce9d84202650a1606575e6dbd6d31ffcf4767a9a379,6629

.github/stack/stack-Agda-2.7.0.1.yaml

@@ -0,0 +1,9 @@
+resolver: lts-24.1
+compiler: ghc-9.10.2
+# Allow a newer minor version of GHC than the snapshot specifies
+compiler-check: newer-minor
+
+packages: []
+
+extra-deps:
+- Agda-2.7.0.1

.github/stack/stack-Agda-2.8.0.yaml

@@ -0,0 +1,9 @@
+resolver: lts-24.1
+compiler: ghc-9.10.2
+# Allow a newer minor version of GHC than the snapshot specifies
+compiler-check: newer-minor
+
+packages: []
+
+extra-deps:
+- Agda-2.8.0

.github/workflows/test.yml

@@ -23,6 +23,16 @@ jobs:
       matrix:
         os: [windows-latest, ubuntu-latest, macos-latest]
         agda: ["Agda-2.6.4", "Agda-2.7.0", "Agda-2.8.0"]
+        include:
+          - agda: "Agda-2.6.4"
+            agda-version: "Agda-2.6.4.3"
+            stack-config: ".github/stack/stack-Agda-2.6.4.3.yaml"
+          - agda: "Agda-2.7.0"
+            agda-version: "Agda-2.7.0.1"
+            stack-config: ".github/stack/stack-Agda-2.7.0.1.yaml"
+          - agda: "Agda-2.8.0"
+            agda-version: "Agda-2.8.0"
+            stack-config: ".github/stack/stack-Agda-2.8.0.yaml"
       fail-fast: false
 
     # Steps represent a sequence of tasks that will be executed as part of the job
@@ -82,9 +92,9 @@ jobs:
         uses: actions/cache/restore@v4
         with:
           path: ${{ env.DIST  }}
-          key: ${{ env.DIST  }}
+          key: ${{ env.DIST  }}-${{ matrix.stack-config }}
           restore-keys: |
-              ${{ env.DIST  }}
+              ${{ env.DIST  }}-${{ matrix.stack-config }}
         
       - name: 💾 Restore VSCode from .vscode-test
         id:   vscode
@@ -130,8 +140,8 @@ jobs:
       - name: ⏬ Install Agda
         if: ${{ steps.check-agda.outcome == 'failure'}}
         run: |
-          stack install --resolver=lts-24.1 --allow-different-user ${{ matrix.agda }}
-          echo "STACK_LOCAL_BIN=$(stack path --local-bin)" >> "$GITHUB_ENV"
+          stack install --stack-yaml=${{ matrix.stack-config }} --allow-different-user ${{ matrix.agda-version }}
+          echo "STACK_LOCAL_BIN=$(stack path --stack-yaml=${{ matrix.stack-config }} --local-bin)" >> "$GITHUB_ENV"
 
       - name: 📦 Move artefacts to ${{ env.DIST }}
         if: ${{ steps.check-agda.outcome == 'failure'}}

CHANGELOG.md

@@ -25,8 +25,6 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
     - Browser file path handling
     - SharedArrayBuffer availability check
 
-
-
 ## v0.6.7 - 2025-09-12
 
 ### Added
@@ -42,6 +40,10 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 ### Fixed
 
 - Agda 2.8.0 compatibility - Handle different output format from Agda 2.8.0
+- Made connection status at the top right of the panel clickable and opens version switching UI when clicked 
+
+### Changed
+- GHC & Stack: Upgraded to GHC 9.10.2 and Stack lts-24.1 in CI
 
 ## v0.6.6 - 2025-08-31
 

package.json

@@ -4,7 +4,7 @@
 	"description": "agda-mode on vscode",
 	"icon": "asset/logo.png",
 	"publisher": "banacorn",
-	"version": "0.6.6",
+	"version": "0.6.7",
 	"engines": {
 		"vscode": "^1.94.0"
 	},