gitlab-ci: opam init --bare to make the build faster
This commit is contained in:
parent
aa61e86657
commit
5d17ddf4bb
@ -14,7 +14,7 @@ before_script:
|
||||
|
||||
# Show environment
|
||||
- echo "$PATH"
|
||||
- printf '' | opam init
|
||||
- printf '' | opam init --bare
|
||||
- eval $(opam config env)
|
||||
|
||||
# Create switch
|
||||
|
Loading…
Reference in New Issue
Block a user