[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/proof-general updated (a894bcc5f9 -> 2a8701209b)
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/proof-general updated (a894bcc5f9 -> 2a8701209b) |
Date: |
Mon, 9 May 2022 07:59:03 -0400 (EDT) |
elpasync pushed a change to branch elpa/proof-general.
from a894bcc5f9 test: Replace `omega` with `lia` in CI & Test more Coq
versions (#650)
new dd8f8b4034 CI compile tests: expect 008-default-dir to fail for
8.15.0
new 2a8701209b CI workflow: Enable new Emacs versions until 27.2
Summary of changes:
.github/workflows/test.yml | 4 +++-
ci/compile-tests/008-default-dir/runtest.el | 14 ++++++++++++--
2 files changed, 15 insertions(+), 3 deletions(-)
- [nongnu] elpa/proof-general updated (a894bcc5f9 -> 2a8701209b),
ELPA Syncer <=