Merge pull request #631 from jfdm/spruce

[ ci ] ensure we test idris1 againsts latest idris1 and emacs.
idris-hackers · Jun 19, 2024 · 38dd238 · 38dd238
2 parents 01ecdba + 9ebf02d
commit 38dd238
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/idris1.yml b/.github/workflows/idris1.yml
@@ -19,8 +19,8 @@ jobs:
     timeout-minutes: 60
     strategy:
       matrix:
-        emacs: [27.2, 28.2, 29.3]
-        idris: [git, stackage]
+        emacs: [29.3]
+        idris: [git]
     env:
       EMACS_VERSION: ${{ matrix.emacs }}
       IDRIS_VERSION: ${{ matrix.idris }}