aboutsummaryrefslogtreecommitdiffhomepage
path: root/.gitlab-ci.yml
Commit message (Expand)AuthorAge
* Add mit-plv/bedrock2-ci to CIGravatar Andres Erbsen2018-06-27
* Merge PR #7793: [ci] update docker image to include elpi 1.0.4Gravatar Emilio Jesus Gallego Arias2018-06-14
|\
| * [ci] update docker image to include elpi 1.0.4Gravatar Enrico Tassi2018-06-13
* | [ci] Require runner `docker` tag on `docker-boot` job.Gravatar Emilio Jesus Gallego Arias2018-06-12
|/
* Merge PR #7515: gitlab: build sphinx doc in separate jobGravatar Emilio Jesus Gallego Arias2018-06-09
|\
* \ Merge PR #7642: Gitlab: retry failed jobs onceGravatar Emilio Jesus Gallego Arias2018-06-09
|\ \
| | * gitlab: build sphinx doc in separate jobGravatar Gaëtan Gilbert2018-06-08
| * | Gitlab: retry failed "build" jobs onceGravatar Gaëtan Gilbert2018-06-08
* | | [ci] [docker] Pin specific versions of OPAM CI dependencies.Gravatar Emilio Jesus Gallego Arias2018-06-06
| |/ |/|
* | Update .gitlab to use newer ocamlGravatar Leonidas Lampropoulos2018-06-02
* | QuickChick CIGravatar Leonidas Lampropoulos2018-06-02
* | Allow make clean to work on a fresh cloneGravatar Jason Gross2018-05-25
|/
* Merge PR #7526: [circle] Use Docker image from Gitlab registry.Gravatar Gaëtan Gilbert2018-05-22
|\
* | [ci] [gitlab] Fix printenv sorting for variables that span multiple lines.Gravatar Emilio Jesus Gallego Arias2018-05-21
| * [circle] Use Docker image from Gitlab registry.Gravatar Emilio Jesus Gallego Arias2018-05-17
|/
* Merge PR #7442: Gitlab: build docker image in pipeline and use through registry.Gravatar Emilio Jesus Gallego Arias2018-05-16
|\
* \ Merge PR #7507: gitlab CI: fix [warnings] templateGravatar Emilio Jesus Gallego Arias2018-05-16
|\ \
| | * Gitlab: skip docker job when $SKIP_DOCKER == "true".Gravatar Gaëtan Gilbert2018-05-14
| | * Gitlab: build docker image in pipeline and use through registry.Gravatar Gaëtan Gilbert2018-05-14
| |/ |/|
* | Merge PR #7344: Windows packaging build with Gitlab CIGravatar Gaëtan Gilbert2018-05-14
|\ \
| | * gitlab CI: fix [warnings] templateGravatar Gaëtan Gilbert2018-05-14
| |/ |/|
* | gitlab CI: remove math-classes jobGravatar Gaëtan Gilbert2018-05-11
| * Windows packaging build with Gitlab CIGravatar Maxime Dénès2018-05-11
|/
* [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