diff options
| author | Adelyn Breelove <[email protected]> | 2019-01-28 10:53:25 -0700 |
|---|---|---|
| committer | Adelyn Breelove <[email protected]> | 2019-01-28 10:53:25 -0700 |
| commit | 07d2361f04ff908da0b682e0be54d87f6eae20e8 (patch) | |
| tree | d55f739b7064dd98b38f33f2b36d846837e23392 | |
| parent | More CI (diff) | |
| download | disml-07d2361f04ff908da0b682e0be54d87f6eae20e8.tar.xz disml-07d2361f04ff908da0b682e0be54d87f6eae20e8.zip | |
Why you no install packages right
| -rw-r--r-- | .gitlab-ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index b8e2775..0e1d1b5 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -4,6 +4,7 @@ before_script: - opam init - eval `opam config env` - opam update + - opam upgrade - opam install dune odoc pages: |