Continuous Integration
See Issue #10.
Done:
- the project now compiles for Coq v8.{8,9},
- support for Coq v8.{6,7} has been dropped,
- all configure shell scripts are checked for POSIX compliance using
shellcheck
(see !3 (merged)), - the org-mode Readme is checked using
org-lint
(see #11),
Edited by Raphaël Cauderlier