aboutsummaryrefslogtreecommitdiffhomepage
path: root/.gitlab-ci.yml
Commit message (Expand)AuthorAge
* Add [opam update] and online repository to gitlab CI script.Gravatar Gaëtan Gilbert2017-07-21
* Merge PR #877: Travis+4.05.0Gravatar Maxime Dénès2017-07-20
|\
| * [travis] Update testing to 4.05.0 + Camlp5 7.01Gravatar Emilio Jesus Gallego Arias2017-07-13
* | Add timing scriptsGravatar Jason Gross2017-07-11
|/
* Merge PR#784: API additions for coq-dpdgraphGravatar Maxime Dénès2017-06-19
|\
| * Add coq-dpdgraph to gitlab CIGravatar Gaëtan Gilbert2017-06-16
* | Remove bedrock from test suite.Gravatar Maxime Dénès2017-06-15
|/
* [travis] extra test ci-bignums (+factorize other scripts)Gravatar Pierre Letouzey2017-06-13
* [travis] print failing test suite logs on failureGravatar Gaëtan Gilbert2017-05-31
* [gitlab] Artifact test suite logs on failure.Gravatar Gaëtan Gilbert2017-05-30
* Gitlab CIGravatar Gaëtan Gilbert2017-05-28