[ ci ] Add Agda-2.6.3 into the mix

agda · Dec 6, 2024 · afb18bf · afb18bf
1 parent 33a62df
commit afb18bf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml
@@ -20,7 +20,7 @@ jobs:
     strategy:
       matrix:
         os: [ubuntu-latest, macos-latest, macos-13, windows-latest]
-        agda: ['Agda-2.7.0.1', 'Agda-2.6.4.3']
+        agda: ['Agda-2.7.0.1', 'Agda-2.6.4.3', 'Agda-2.6.3']
       fail-fast: false
     steps: