diff options
| author | Adelyn Breelove <[email protected]> | 2019-01-28 10:46:08 -0700 |
|---|---|---|
| committer | Adelyn Breelove <[email protected]> | 2019-01-28 10:46:08 -0700 |
| commit | 2da04dfed52e8e8275bb499484f167bb53590310 (patch) | |
| tree | 80eb89464f0bc253381998a391ff180e81dd80c7 | |
| parent | Didn't even put it in the right spot (diff) | |
| download | disml-2da04dfed52e8e8275bb499484f167bb53590310.tar.xz disml-2da04dfed52e8e8275bb499484f167bb53590310.zip | |
CI .-.
| -rw-r--r-- | .gitlab-ci.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 7bfc4b5..3aa74ed 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1,7 +1,8 @@ image: ocaml/opam:latest before_script: - - sudo opam install dune odoc + - opam init + - opam install dune odoc pages: stage: deploy |