Merge pull request #628 from jfdm/emacs-bumps

[ ci ] bump emacs version range forward.
idris-hackers · Jun 10, 2024 · 01ecdba · 01ecdba
2 parents 334fef6 + 727d586
commit 01ecdba
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/idris1.yml b/.github/workflows/idris1.yml
@@ -19,7 +19,7 @@ jobs:
     timeout-minutes: 60
     strategy:
       matrix:
-        emacs: [25.3, 26.1, 27.2, 28.2]
+        emacs: [27.2, 28.2, 29.3]
         idris: [git, stackage]
     env:
       EMACS_VERSION: ${{ matrix.emacs }}

diff --git a/.github/workflows/idris2.yml b/.github/workflows/idris2.yml
@@ -30,7 +30,7 @@ jobs:
 
     strategy:
       matrix:
-        emacs: [25.3, 26.3, 27.2, 28.2]
+        emacs: [27.2, 28.2, 29.3]
 
     env:
       EMACS_VERSION: ${{ matrix.emacs }}