branch: elpa/idris-mode
commit b45ddda6c4b6f587dab2f1dec7cf0256d9a32842
Merge: ca1e5fdca37 9159ecc2734
Author: Jan de Muijnck-Hughes <[email protected]>
Commit: GitHub <[email protected]>
Merge pull request #646 from keram/update-github-actions-strategy
Update CI Emacs versions to last 3 current major releases
---
.github/workflows/idris1.yml | 2 +-
.github/workflows/idris2.yml | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/.github/workflows/idris1.yml b/.github/workflows/idris1.yml
index 6b1d126eed0..6bd7c41448c 100644
--- a/.github/workflows/idris1.yml
+++ b/.github/workflows/idris1.yml
@@ -19,7 +19,7 @@ jobs:
timeout-minutes: 60
strategy:
matrix:
- emacs: [29.3]
+ emacs: [30.2]
idris: [git]
env:
EMACS_VERSION: ${{ matrix.emacs }}
diff --git a/.github/workflows/idris2.yml b/.github/workflows/idris2.yml
index a89e6decba8..8c6629be32a 100644
--- a/.github/workflows/idris2.yml
+++ b/.github/workflows/idris2.yml
@@ -30,7 +30,7 @@ jobs:
strategy:
matrix:
- emacs: [27.2, 28.2, 29.3]
+ emacs: [28.2, 29.4, 30.2]
env:
EMACS_VERSION: ${{ matrix.emacs }}
