[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/proof-general updated (28c1dc0092 -> ec4f9bad18)
|
From: |
ELPA Syncer |
|
Subject: |
[nongnu] elpa/proof-general updated (28c1dc0092 -> ec4f9bad18) |
|
Date: |
Mon, 20 Jun 2022 05:58:47 -0400 (EDT) |
elpasync pushed a change to branch elpa/proof-general.
from 28c1dc0092 CI: fix ci/coq-tests.el for emacs 28
new 83507b4c0c test various Coq and Emacs versions using
docker-coq-action
new ec4f9bad18 CI: add emacs 28.1, phase out some coq 8.11, 8.14
combinations
Summary of changes:
.github/workflows/test.yml | 245 ++++++++++++++++++++++++++++++---------------
1 file changed, 167 insertions(+), 78 deletions(-)
- [nongnu] elpa/proof-general updated (28c1dc0092 -> ec4f9bad18),
ELPA Syncer <=