proof-general/ci/compile-tests/006-ready-dependee/Makefile, branch master Emacs plugins for proof management systems include compile tests in CI elisp compilation 2020-12-19T15:43:49+00:00 Hendrik Tews 2020-12-15T20:54:53+00:00 12be85a9032ebed02d9b65da7848ab173081f41a 






add auto compile test to trigger two bugs for dependees in state ready
2020-12-19T15:43:49+00:00

Hendrik Tews

2020-12-14T21:27:36+00:00

7cde26b20cab22d2a82f6bb50e852bbb5688d610

See also the committed test.el. The test is not completely
robust, it needs to be improved in the future.





See also the committed test.el. The test is not completely
robust, it needs to be improved in the future.