-
Raphael Cauderlier authored
The CI script does the following: - lint the `configure` shell scripts using `shellcheck` - lint the file `README.org` using `org-lint` - compile the project with Coq v8.8 and Coq v8.9.
e2e399cd
Validating GitLab CI configuration…
Learn more