[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/idris-mode 9ebf02d473 1/2: [ ci ] ensure we test idris1 ag
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/idris-mode 9ebf02d473 1/2: [ ci ] ensure we test idris1 againsts latest idris1 and emacs. |
Date: |
Wed, 19 Jun 2024 13:00:44 -0400 (EDT) |
branch: elpa/idris-mode
commit 9ebf02d4738646f7c5b446d2d8c583a465eb6e05
Author: Jan de Muijnck-Hughes <Jan.de-Muijnck-Hughes@strath.ac.uk>
Commit: Jan de Muijnck-Hughes <Jan.de-Muijnck-Hughes@strath.ac.uk>
[ 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 }}
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [nongnu] elpa/idris-mode 9ebf02d473 1/2: [ ci ] ensure we test idris1 againsts latest idris1 and emacs.,
ELPA Syncer <=