aboutsummaryrefslogtreecommitdiffhomepage
path: root/.gitlab-ci.yml
Commit message (Expand)AuthorAge
* [ci] Add mit-plv/cross-cryptoGravatar Jason Gross2018-05-09
* [gitlab] Do expensive builds with a flambda-compiled Coq.Gravatar Emilio Jesus Gallego Arias2018-05-08
* [gitlab] Add bleeding-edge flambda build.Gravatar Emilio Jesus Gallego Arias2018-05-07
* [ci] Add ounit to the base Docker package set.Gravatar Emilio Jesus Gallego Arias2018-05-07
* [gitlab] [circleci] Use a Custom Docker Image as base CI setup.Gravatar Emilio Jesus Gallego Arias2018-05-05
* [ci]: add pidetop (fix #7336)Gravatar Enrico Tassi2018-05-02
* [gitlab] Update base image to Ubuntu bionic + some improvements.Gravatar Emilio Jesus Gallego Arias2018-04-29
* [doc] Remove unused dependencies.Gravatar Emilio Jesus Gallego Arias2018-04-28
* Merge PR #7376: Fix gitlab ubuntu versionGravatar Emilio Jesus Gallego Arias2018-04-28
|\
| * Fix gitlab ubuntu versionGravatar Gaëtan Gilbert2018-04-28
* | [CI] elpi 1.0 has an official opam packageGravatar Enrico Tassi2018-04-27
|/
* updating CI for Mtac2Gravatar Beta Ziliani2018-04-25
* CI: add fcsl-pcmGravatar Anton Trunov2018-04-20
* gitlab: separate opam-boot jobs, use opam init and OPAMROOTGravatar Gaëtan Gilbert2018-04-16
* gitlab: fix environment for build templateGravatar Gaëtan Gilbert2018-03-30
* Moving Gitlab CI documentation build to the main Coq build.Gravatar Maxime Dénès2018-03-09
* gitlab: install num for all jobsGravatar Gaëtan Gilbert2018-03-07
* ci: add elpiGravatar Enrico Tassi2018-02-19
* Gitlab: don't ./configure in documentation jobGravatar Gaëtan Gilbert2017-12-18
* [ci] CoLoR has moved to githubGravatar Emilio Jesus Gallego Arias2017-12-07
* 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