Commit 8b8c0117 authored by Jakob Botsch Nielsen's avatar Jakob Botsch Nielsen
Browse files

Maybe unstuck CI: Try 2

parent 39ca43e7
Pipeline #10556 failed
- au
stages: stages:
- build - build
.build: .build:
stage: build stage: build
image: coqorg/${CI_JOB_NAME} image: coqorg/${CI_JOB_NAME}
tags: au
before_script: before_script:
- if [ -n "${COMPILER_EDGE}" ]; then opam switch ${COMPILER_EDGE} && eval $(opam env); fi - if [ -n "${COMPILER_EDGE}" ]; then opam switch ${COMPILER_EDGE} && eval $(opam env); fi
- opam update -y - opam update -y
Supports Markdown
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