[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/idris-mode b6f6fb2 7/8: [ ci ] deprecate older emacs.
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/idris-mode b6f6fb2 7/8: [ ci ] deprecate older emacs. |
Date: |
Wed, 3 Nov 2021 10:57:49 -0400 (EDT) |
branch: elpa/idris-mode
commit b6f6fb2f52d136d0871fb93f7c902736a5d80fcf
Author: Jan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk>
Commit: Jan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk>
[ ci ] deprecate older emacs.
---
.github/workflows/idris1.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.github/workflows/idris1.yml b/.github/workflows/idris1.yml
index 89ed72f..7281289 100644
--- a/.github/workflows/idris1.yml
+++ b/.github/workflows/idris1.yml
@@ -18,7 +18,7 @@ jobs:
runs-on: ubuntu-latest
strategy:
matrix:
- emacs: [24.5, 25.3, 26.1]
+ emacs: [25.3, 26.1, 27.2]
idris: [git, stackage]
env:
EMACS_VERSION: ${{ matrix.emacs }}
- [nongnu] elpa/idris-mode updated (2939f5a -> 6c22a7b), ELPA Syncer, 2021/11/03
- [nongnu] elpa/idris-mode c59c649 1/8: [ admin ] updated makefile, ELPA Syncer, 2021/11/03
- [nongnu] elpa/idris-mode 5972512 3/8: [ cosmetic ] Upstream change from idris2., ELPA Syncer, 2021/11/03
- [nongnu] elpa/idris-mode 400c54f 6/8: [ upstream ] Fix documentation and bytecode generation., ELPA Syncer, 2021/11/03
- [nongnu] elpa/idris-mode c18ae30 4/8: [ cleanup ] from idris2-mode use `cadr` where appropriate., ELPA Syncer, 2021/11/03
- [nongnu] elpa/idris-mode ed628e8 2/8: [ ipkg-mode ] Merged in changes from idris2-mode for ipkg keywords., ELPA Syncer, 2021/11/03
- [nongnu] elpa/idris-mode 753b594 5/8: [ fixup ] add missing dependency., ELPA Syncer, 2021/11/03
- [nongnu] elpa/idris-mode b6f6fb2 7/8: [ ci ] deprecate older emacs.,
ELPA Syncer <=
- [nongnu] elpa/idris-mode 6c22a7b 8/8: Merge pull request #544 from jfdm/borrowings-idris2-mode, ELPA Syncer, 2021/11/03