Commit 2e1c6c60 authored by Jakob Botsch Nielsen's avatar Jakob Botsch Nielsen
Browse files

Maybe unstuck CI: Try 3

parent 8b8c0117
Pipeline #10557 failed with stage
in 4 minutes and 4 seconds
......@@ -4,7 +4,8 @@ stages:
.build:
stage: build
image: coqorg/${CI_JOB_NAME}
tags: au
tags:
- au
before_script:
- if [ -n "${COMPILER_EDGE}" ]; then opam switch ${COMPILER_EDGE} && eval $(opam env); fi
- opam update -y
......
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