Skip to content
Snippets Groups Projects
Commit ce49394d authored by Lennard Gäher's avatar Lennard Gäher
Browse files

Update .gitlab-ci.yml

parent 597011fb
No related branches found
No related tags found
1 merge request!1Bump Coq Version to run on Apple Arm Processors
Pipeline #109864 failed
......@@ -5,7 +5,7 @@ stages:
variables:
CPU_CORES: "10"
OCAML: "ocaml-variants.4.14.0+options ocaml-option-flambda"
OCAML: "ocaml-variants.4.10.2+options ocaml-option-flambda"
.template: &template
stage: build
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment