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

Update .gitlab-ci.yml

parent 4069ed30
No related branches found
No related tags found
1 merge request!1Bump Coq Version to run on Apple Arm Processors
Pipeline #109863 failed
Stage: build
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 0 deletions
.gitlab-ci.yml
+ 1
− 0
View file @ 597011fb
...@@ -5,6 +5,7 @@ stages: ...@@ -5,6 +5,7 @@ stages:
variables: variables:
CPU_CORES: "10" CPU_CORES: "10"
OCAML: "ocaml-variants.4.14.0+options ocaml-option-flambda"
.template: &template .template: &template
stage: build stage: build
......
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