| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-07-21 | Add [opam update] and online repository to gitlab CI script. | Gaëtan Gilbert |
| 2017-07-20 | Merge PR #877: Travis+4.05.0 | Maxime Dénès |
| 2017-07-13 | [travis] Update testing to 4.05.0 + Camlp5 7.01 | Emilio Jesus Gallego Arias |
| 2017-07-11 | Add timing scripts | Jason Gross |
| 2017-06-19 | Merge PR#784: API additions for coq-dpdgraph | Maxime Dénès |
| 2017-06-16 | Add coq-dpdgraph to gitlab CI | Gaëtan Gilbert |
| 2017-06-15 | Remove bedrock from test suite. | Maxime Dénès |
| 2017-06-13 | [travis] extra test ci-bignums (+factorize other scripts) | Pierre Letouzey |
| 2017-05-31 | [travis] print failing test suite logs on failure | Gaëtan Gilbert |
| 2017-05-30 | [gitlab] Artifact test suite logs on failure. | Gaëtan Gilbert |
| 2017-05-28 | Gitlab CI | Gaëtan Gilbert |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |
path: root/.gitlab-ci.yml