Commit 95ae6d13 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Run the continuous integration using Coq, Flocq, and js_of_ocaml.

parent b4474575
......@@ -68,6 +68,14 @@ bench-4.06.0:
COMPILER: 4.06.0
<<: *bench_definition
full:
stage: test
variables:
COMPILER: system
PACKAGES: coq-flocq.2.6.1 js_of_ocaml-ppx
script:
- misc/ci-docker.sh misc/ci-local.sh bench
opam:
stage: build
variables:
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment