[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/proof-general e7b1215 2/5: [CI] Add integration test with
|
From: |
ELPA Syncer |
|
Subject: |
[nongnu] elpa/proof-general e7b1215 2/5: [CI] Add integration test with Coq 8.12, 8.13 |
|
Date: |
Fri, 20 Aug 2021 19:57:31 -0400 (EDT) |
branch: elpa/proof-general
commit e7b1215616a47f299810736638a5f47c06861a71
Author: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Commit: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
[CI] Add integration test with Coq 8.12, 8.13
---
.github/workflows/test.yml | 2 ++
1 file changed, 2 insertions(+)
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 8bb9f2b..7398701 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -93,6 +93,8 @@ jobs:
- '8.9'
- '8.10'
- '8.11'
+ - '8.12'
+ - '8.13'
ocaml_version:
- minimal
# at most 20 concurrent jobs per free account
- [nongnu] elpa/proof-general updated (e2ee96b -> cc5bfd0), ELPA Syncer, 2021/08/20
- [nongnu] elpa/proof-general 055be0e 4/5: docs(CHANGES): require GNU Emacs 25.1 or later, ELPA Syncer, 2021/08/20
- [nongnu] elpa/proof-general 890bebc 1/5: fix: Remove duplicate (require 'coq-syntax), ELPA Syncer, 2021/08/20
- [nongnu] elpa/proof-general cc5bfd0 5/5: Merge pull request #506 from ProofGeneral/fix-details, ELPA Syncer, 2021/08/20
- [nongnu] elpa/proof-general d1caa47 3/5: chore!: Bump the minimal required version of emacs from 24.5, ELPA Syncer, 2021/08/20
- [nongnu] elpa/proof-general e7b1215 2/5: [CI] Add integration test with Coq 8.12, 8.13,
ELPA Syncer <=