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.
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.