Skip to content
Snippets Groups Projects
Commit 2d898dcd authored by Xavier Urbain's avatar Xavier Urbain Committed by Lionel Rieg
Browse files

Update .gitlab-ci.yml file

parent 64a2f34d
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 1 deletion
.gitlab-ci.yml
+ 2
− 1
View file @ 2d898dcd
...@@ -5,7 +5,8 @@ stages: ...@@ -5,7 +5,8 @@ stages:
stage: build stage: build
image: coqorg/${CI_JOB_NAME} image: coqorg/${CI_JOB_NAME}
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}; fi
- eval $(opam env)
- opam update -y - opam update -y
- opam config list - opam config list
- opam repo list - opam repo list
......
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