[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/proof-general updated (32b15ff -> eb97857)
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/proof-general updated (32b15ff -> eb97857) |
Date: |
Sun, 12 Sep 2021 15:57:38 -0400 (EDT) |
elpasync pushed a change to branch elpa/proof-general.
from 32b15ff Adding the CI for indentation.
new d2d1a73 Minor tweaks encountered while trying to run the CI tests
new 75062f6 test: Add dist-tests target & Refactor
.github/workflows/test.yml
new 5519af7 test: Add check-doc-magic target & Restrict its git-diff
test to doc
new ad36557 test: Extend dist-tests target after merging #591
new ce0f2f3 fix(dist-tests): `make dist-tests` also runs `make tests
check-doc-magic`
new eb97857 Merge pull request #593 from ProofGeneral/stefan
Summary of changes:
.github/workflows/test.yml | 4 ++--
.gitignore | 1 +
Makefile | 32 +++++++++++++++++++++++++++-----
ci/coq-tests.el | 2 +-
4 files changed, 31 insertions(+), 8 deletions(-)
- [nongnu] elpa/proof-general updated (32b15ff -> eb97857),
ELPA Syncer <=
- [nongnu] elpa/proof-general 75062f6 2/6: test: Add dist-tests target & Refactor .github/workflows/test.yml, ELPA Syncer, 2021/09/12
- [nongnu] elpa/proof-general eb97857 6/6: Merge pull request #593 from ProofGeneral/stefan, ELPA Syncer, 2021/09/12
- [nongnu] elpa/proof-general ad36557 4/6: test: Extend dist-tests target after merging #591, ELPA Syncer, 2021/09/12
- [nongnu] elpa/proof-general d2d1a73 1/6: Minor tweaks encountered while trying to run the CI tests, ELPA Syncer, 2021/09/12
- [nongnu] elpa/proof-general 5519af7 3/6: test: Add check-doc-magic target & Restrict its git-diff test to doc, ELPA Syncer, 2021/09/12
- [nongnu] elpa/proof-general ce0f2f3 5/6: fix(dist-tests): `make dist-tests` also runs `make tests check-doc-magic`, ELPA Syncer, 2021/09/12