aboutsummaryrefslogtreecommitdiffstats
path: root/ci/manifest
Commit message (Collapse)AuthorAgeFilesLines
* Add ci manifest to compile from the sourcesgrianneau2021-01-271-47/+0
| | | | * compiling SMTCoq from sources from branch 8.11 * manifest using debian/stable to make it work with OCaml 8.09.1
* Fix CI manifestChantal Keller2020-01-161-1/+4
|
* A bit of CIChantal Keller2020-01-151-0/+44