diff options
| author | Adelyn Breelove <[email protected]> | 2019-01-28 10:43:48 -0700 |
|---|---|---|
| committer | Adelyn Breelove <[email protected]> | 2019-01-28 10:43:48 -0700 |
| commit | 0c65bee96df7204f72221c1916b512eb3f821a40 (patch) | |
| tree | 46198337ebe9b60f0e1aea21c3bd3813380eae7a /.gitlab-ci.yml | |
| parent | I'm bad at CI images (diff) | |
| download | disml-0c65bee96df7204f72221c1916b512eb3f821a40.tar.xz disml-0c65bee96df7204f72221c1916b512eb3f821a40.zip | |
Didn't even put it in the right spot
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml new file mode 100644 index 0000000..7bfc4b5 --- /dev/null +++ b/.gitlab-ci.yml @@ -0,0 +1,14 @@ +image: ocaml/opam:latest + +before_script: + - sudo opam install dune odoc + +pages: + stage: deploy + script: + - dune build @doc + artifacts: + paths: + - _build/default/_doc/_html + only: + - master
\ No newline at end of file |