Bumped Agda version

luau-lang · Dec 1, 2023 · ea886ba · ea886ba
1 parent 9f5c395
commit ea886ba
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -10,9 +10,9 @@ jobs:
   linux:
     strategy:
       matrix:
-        agda: [2.6.2.2]
-        hackageDate: ["2022-12-08"]
-        hackageTime: ["00:41:16"]
+        agda: [2.6.4]
+        hackageDate: ["2023-12-01"]
+        hackageTime: ["20:29:20"]
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@v1