aboutsummaryrefslogtreecommitdiff
path: root/.circleci
AgeCommit message (Expand)Author
2018-07-11[ci] Upgrade edge OCaml to 4.07.0 and Dune to 1.0.0Emilio Jesus Gallego Arias
2018-07-02[ci] [docker] Make sure we don't install optional packages with apt.Emilio Jesus Gallego Arias
2018-06-13[ci] update docker image to include elpi 1.0.4Enrico Tassi
2018-06-06[ci] [docker] Pin specific versions of OPAM CI dependencies.Emilio Jesus Gallego Arias
2018-05-25Allow make clean to work on a fresh cloneJason Gross
2018-05-17[circle] Use Docker image from Gitlab registry.Emilio Jesus Gallego Arias
2018-05-14[ci] [circleci] Remove jobs done in Gitlab efficiently.Emilio Jesus Gallego Arias
2018-05-09[ci] Add mit-plv/cross-cryptoJason Gross
2018-05-07[gitlab] Add bleeding-edge flambda build.Emilio Jesus Gallego Arias
2018-05-07[ci] Add ounit to the base Docker package set.Emilio Jesus Gallego Arias
2018-05-05[gitlab] [circleci] Use a Custom Docker Image as base CI setup.Emilio Jesus Gallego Arias
2018-05-02[ci]: add pidetop (fix #7336)Enrico Tassi
2018-04-27[CI] elpi 1.0 has an official opam packageEnrico Tassi
2018-04-27circle CI: do not use cache from old config.yml versionsGaëtan Gilbert
2018-04-25updating CI for Mtac2Beta Ziliani
2018-04-20CI: add fcsl-pcmAnton Trunov
2018-04-15Simplify CircleCI scriptYishuai Li
2018-02-21Remove from CircleCI builds that are already taken care of by Travis.Théo Zimmermann
2018-02-19ci: add elpiEnrico Tassi
2018-01-31Merge PR #6601: Circle CI: fix cache selection.Maxime Dénès
2017-12-21Fix CI with parallel make (messed up dependencies)Gaëtan Gilbert
2017-12-19Circle CI: fix cache selection.Gaëtan Gilbert
2017-12-14Circle CI: separate job to boot opam with all used packages.Gaëtan Gilbert
2017-12-14Circle CI: remove warning jobsGaëtan Gilbert
2017-12-13Circle CI: uses dependencies between external developments.Gaëtan Gilbert
2017-12-13Circle CI: enable TIMED for external developmentsGaëtan Gilbert
2017-12-13Circle CI: use cache for opamGaëtan Gilbert
2017-12-13Circle CI: enable native compiler.Gaëtan Gilbert
2017-12-12Near-full implementation of Circle CI.Gaëtan Gilbert
2017-12-11CI: poc Circleci configurationArnaud Spiwack
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 09:32:39 +0000