Gitlab CI
Enable the Gitlab CI. Runner environment is specified in Dockerfiles. Debian (with OCaml 4.09.0), with and without parmap, pyml and menhir, and OCaml 3.12.1) and OpenSUSE (with OCaml 4.09.0) are tested.
Prochaines maintenances programmées: lundi 06/05, lundi 03/06, lundi 01/07
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
Enable the Gitlab CI. Runner environment is specified in Dockerfiles. Debian (with OCaml 4.09.0), with and without parmap, pyml and menhir, and OCaml 3.12.1) and OpenSUSE (with OCaml 4.09.0) are tested.