diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 1afeb6bf3..feb1bfaa4 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -14,7 +14,7 @@ before_script: # Show environment - echo "$PATH" - - printf '' | opam init + - printf '' | opam init --bare - eval $(opam config env) # Create switch