Skip to content

[ci] update CI

Benjamin Jorge requested to merge better-ci into master

Add opam jobs to test why3find installation. Check indentation and headers of ml files.

Closes #59 (closed), #76 (closed)

Edited by Benjamin Jorge

Merge request reports