From 0c65bee96df7204f72221c1916b512eb3f821a40 Mon Sep 17 00:00:00 2001 From: Adelyn Breelove Date: Mon, 28 Jan 2019 10:43:48 -0700 Subject: Didn't even put it in the right spot --- lib/.gitlab-ci.yml | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100644 lib/.gitlab-ci.yml (limited to 'lib/.gitlab-ci.yml') 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 -- cgit v1.2.3