[nongnu] elpa/idris-mode 38dd2380dc 2/2: Merge pull request #631 from jfdm/spruce

[ELPA Syncer]

branch: elpa/idris-mode
commit 38dd2380dca5025311cee669cce2361fb8725f51
Merge: 01ecdba625 9ebf02d473
Author: Jan de Muijnck-Hughes <jfdm@users.noreply.github.com>
Commit: GitHub <noreply@github.com>

    Merge pull request #631 from jfdm/spruce
    
    [ ci ] ensure we test idris1 againsts latest idris1 and emacs.
---
 .github/workflows/idris1.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/idris1.yml b/.github/workflows/idris1.yml
index 3095d7faac..6b1d126eed 100644
--- 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 }}