diff options
| author | Adelyn Breelove <[email protected]> | 2019-01-28 10:48:52 -0700 |
|---|---|---|
| committer | Adelyn Breelove <[email protected]> | 2019-01-28 10:48:52 -0700 |
| commit | 6fc87ca125db92f24d51d60cccf3c0e0836fba11 (patch) | |
| tree | edf2ea737983300e41fc9f94399bcc375f121201 | |
| parent | CI .-. (diff) | |
| download | disml-6fc87ca125db92f24d51d60cccf3c0e0836fba11.tar.xz disml-6fc87ca125db92f24d51d60cccf3c0e0836fba11.zip | |
More CI
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 3aa74ed..b8e2775 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -2,6 +2,8 @@ image: ocaml/opam:latest before_script: - opam init + - eval `opam config env` + - opam update - opam install dune odoc pages: |