Commit fab17192 authored by Jacques-Henri Jourdan's avatar Jacques-Henri Jourdan
Browse files

Merge branch 'master' of gitlab.inria.fr:gmevel/iris-time-proofs

parents b09f14ae 6e305349
......@@ -8,6 +8,7 @@ stages:
variables:
CPU_CORES: "10"
OCAML: "ocaml-base-compiler.4.14.0"
.template: &template
stage: build
......
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