aboutsummaryrefslogtreecommitdiffhomepage
path: root/.circleci
Commit message (Expand)AuthorAge
* [ci] [docker] Make sure we don't install optional packages with apt.Gravatar Emilio Jesus Gallego Arias2018-07-02
* [ci] update docker image to include elpi 1.0.4Gravatar Enrico Tassi2018-06-13
* [ci] [docker] Pin specific versions of OPAM CI dependencies.Gravatar Emilio Jesus Gallego Arias2018-06-06
* Allow make clean to work on a fresh cloneGravatar Jason Gross2018-05-25
* [circle] Use Docker image from Gitlab registry.Gravatar Emilio Jesus Gallego Arias2018-05-17
* [ci] [circleci] Remove jobs done in Gitlab efficiently.Gravatar Emilio Jesus Gallego Arias2018-05-14
* [ci] Add mit-plv/cross-cryptoGravatar Jason Gross2018-05-09
* [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
* [CI] elpi 1.0 has an official opam packageGravatar Enrico Tassi2018-04-27
* circle CI: do not use cache from old config.yml versionsGravatar Gaëtan Gilbert2018-04-27
* updating CI for Mtac2Gravatar Beta Ziliani2018-04-25
* CI: add fcsl-pcmGravatar Anton Trunov2018-04-20
* Simplify CircleCI scriptGravatar Yishuai Li2018-04-15
* Remove from CircleCI builds that are already taken care of by Travis.Gravatar Théo Zimmermann2018-02-21
* ci: add elpiGravatar Enrico Tassi2018-02-19
* Merge PR #6601: Circle CI: fix cache selection.Gravatar Maxime Dénès2018-01-31
|\
* | Fix CI with parallel make (messed up dependencies)Gravatar Gaëtan Gilbert2017-12-21
| * Circle CI: fix cache selection.Gravatar Gaëtan Gilbert2017-12-19
|/
* Circle CI: separate job to boot opam with all used packages.Gravatar Gaëtan Gilbert2017-12-14
* Circle CI: remove warning jobsGravatar Gaëtan Gilbert2017-12-14
* Circle CI: uses dependencies between external developments.Gravatar Gaëtan Gilbert2017-12-13
* Circle CI: enable TIMED for external developmentsGravatar Gaëtan Gilbert2017-12-13
* Circle CI: use cache for opamGravatar Gaëtan Gilbert2017-12-13
* Circle CI: enable native compiler.Gravatar Gaëtan Gilbert2017-12-13
* Near-full implementation of Circle CI.Gravatar Gaëtan Gilbert2017-12-12
* CI: poc Circleci configurationGravatar Arnaud Spiwack2017-12-11