| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Merge PR #6601: Circle CI: fix cache selection. |  Maxime Dénès | 2018-01-31 |
| |\ | |||
| * | | Fix CI with parallel make (messed up dependencies) |  Gaëtan Gilbert | 2017-12-21 |
| | * | Circle CI: fix cache selection. | Gaëtan Gilbert | 2017-12-19 |
| |/ | |||
| * | 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-14 |
| * | 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-13 |
| * | Near-full implementation of Circle CI. | Gaëtan Gilbert | 2017-12-12 |
| * | CI: poc Circleci configuration |  Arnaud Spiwack | 2017-12-11 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |