| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-02-21 | Remove from CircleCI builds that are already taken care of by Travis. | Théo Zimmermann |
| 2018-02-19 | ci: add elpi | Enrico Tassi |
| 2018-01-31 | Merge PR #6601: Circle CI: fix cache selection. | Maxime Dénès |
| 2017-12-21 | Fix CI with parallel make (messed up dependencies) | Gaëtan Gilbert |
| 2017-12-19 | Circle CI: fix cache selection. | Gaëtan Gilbert |
| 2017-12-14 | Circle CI: separate job to boot opam with all used packages. | Gaëtan Gilbert |
| 2017-12-14 | Circle CI: remove warning jobs | Gaëtan Gilbert |
| 2017-12-13 | Circle CI: uses dependencies between external developments. | Gaëtan Gilbert |
| 2017-12-13 | Circle CI: enable TIMED for external developments | Gaëtan Gilbert |
| 2017-12-13 | Circle CI: use cache for opam | Gaëtan Gilbert |
| 2017-12-13 | Circle CI: enable native compiler. | Gaëtan Gilbert |
| 2017-12-12 | Near-full implementation of Circle CI. | Gaëtan Gilbert |
| 2017-12-11 | CI: poc Circleci configuration | Arnaud Spiwack |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |