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 /lib | |
| 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 'lib')
| -rw-r--r-- | lib/.gitlab-ci.yml | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/lib/.gitlab-ci.yml b/lib/.gitlab-ci.yml deleted file mode 100644 index 7bfc4b5..0000000 --- a/lib/.gitlab-ci.yml +++ /dev/null @@ -1,14 +0,0 @@ -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 |