• Guillaume Melquiond's avatar
    Modify the OCaml compilers used for continuous integration. · 638ee537
    Guillaume Melquiond authored
    This commit brings the following changes:
    - test the system compiler,
    - test the opam-installed 4.02.3 compiler,
    - use the system and 4.07.0 compilers for "bench",
    - use the 4.07.0 compiler for "full",
    - use the 4.05.0 compiler for the prover-based targets (because of Zenon).
    638ee537
Name
Last commit
Last update
..
Dockerfile.deploy Loading commit data...
Dockerfile.init Loading commit data...
bench-coq-why3-conf Loading commit data...
bench-few-provers-why3-conf Loading commit data...
ci-deploy.sh Loading commit data...
ci-docker.sh Loading commit data...
ci-local.sh Loading commit data...
ci-opam.sh Loading commit data...
headache_config.txt Loading commit data...
header.txt Loading commit data...
nightly-bench.sh Loading commit data...