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(-)
