aboutsummaryrefslogtreecommitdiffhomepage
path: root/.circleci
Commit message (Expand)AuthorAge
* Fix CI with parallel make (messed up dependencies)Gravatar Gaëtan Gilbert2017-12-21
* 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