aboutsummaryrefslogtreecommitdiff
path: root/dev/ci/docker/bionic_coq
AgeCommit message (Expand)Author
2018-11-07Bump up the minimal camlp5 version to 7.06.Pierre-Marie Pédrot
2018-11-06[Docker] Update COMPILER_EDGE: 4.07.0 → 4.07.1Vincent Laporte
2018-10-23[dune] [opam] Move to OPAM 2.0Emilio Jesus Gallego Arias
2018-10-22[doc] [api] Update `odoc` to new release 1.3.0Emilio Jesus Gallego Arias
2018-10-05[ci] [dune] [opam] Fixes to OPAM and CI target.Emilio Jesus Gallego Arias
2018-09-26[ocaml] Update required OCaml version to 4.05.0Emilio Jesus Gallego Arias
2018-09-25elpi 1.1.0Enrico Tassi
2018-09-24[ci] [docker] Move to OPAM 2.0Emilio Jesus Gallego Arias
2018-09-21[dune] [configure] Allow to set prefix using environment variable.Emilio Jesus Gallego Arias
2018-09-20Update minimum required dependency versions of Sphinx doc.Théo Zimmermann
2018-09-10[ci] [docker] Add more dependencies for Dune-aware jobs.Emilio Jesus Gallego Arias
2018-08-30[ci] [docker] Update Dune and Elpi versions.Emilio Jesus Gallego Arias
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-17[circle] Use Docker image from Gitlab registry.Emilio Jesus Gallego Arias
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 16:32:07 +0000