• Raphael Cauderlier's avatar
    [CI] Continuous integration · e2e399cd
    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
Name
Last commit
Last update
..
org-lint-README.el Loading commit data...
org-lint-dummy.el Loading commit data...