Guillaume Melquiond fc245d7a2b Explicitly enable components in the deployed image.

2022-11-29 08:29:34 +01:00

..

bench-coq-why3-conf

support Coq 8.9.1

2019-06-14 13:23:32 +02:00

bench-few-provers-why3-conf

Move Alt-Ergo from 2.3.0 to 2.3.3.

2021-09-27 21:22:14 +02:00

ci-local.sh

Handle "--enable-mpfr" better when explicitly passed.

2022-11-28 17:27:05 +01:00

ci-opam.sh

Use Inria shared workers and enable parallel compilation.

2022-03-11 10:05:59 +01:00

ci.md

Restore the still relevant parts of the ci.md file.

2022-03-16 07:50:38 +01:00

deployed-wrapper.sh

Add support for Broadway in the deployed image.

2021-02-25 16:59:47 +01:00

Dockerfile.build

Bump OCaml versions tested on continuous integration.

2022-10-18 14:10:12 +02:00

Dockerfile.deploy

Explicitly enable components in the deployed image.

2022-11-29 08:29:34 +01:00

Dockerfile.sphinx

Install a font on the Docker image for documentation (fix #529).

2021-01-23 14:42:38 +01:00

headache_config.txt

Fix copyright headers.

2021-10-06 17:51:40 +02:00

header.txt

Update headers.

2022-04-26 16:33:42 +02:00

nightly-bench.sh

Only one script for CE bench

2022-10-20 16:48:13 +02:00

release.md

Update release instructions.

2022-09-12 13:43:46 +02:00

test_lib.ml

Test the opam build for the base and lastest compilers too.

2020-03-30 12:27:34 +02:00