aboutsummaryrefslogtreecommitdiffhomepage
path: root/.gitlab-ci.yml
Commit message (Expand)AuthorAge
* CI: use -byte-only in [warnings] jobs.Gravatar Gaëtan Gilbert2017-11-28
* Make byte on gitlab.Gravatar Gaëtan Gilbert2017-11-24
* Add Equations to CIGravatar Matthieu Sozeau2017-11-20
* Fix gitlab for 4.06Gravatar Gaëtan Gilbert2017-11-15
* [ci] [coq] Complete 4.06.0 support.Gravatar Emilio Jesus Gallego Arias2017-11-13
* [ci] Add Ltac2Gravatar Jason Gross2017-11-04
* rename ci-iris-coq -> ci-iris-lambda-rustGravatar Ralf Jung2017-10-19
* GitLab CI: make all_stdlib.v in build jobGravatar Gaëtan Gilbert2017-10-05
* Fix GitLab CIGravatar Gaëtan Gilbert2017-09-13
* [ci] [gitlab] coq-dpdgraph: Remove allow-failureGravatar Jason Gross2017-08-24
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-20 19:28:55 +0000