aboutsummaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
Diffstat (limited to 'lib')
-rw-r--r--lib/.gitlab-ci.yml14
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