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 --- .gitlab-ci.yml | 14 ++++++++++++++ lib/.gitlab-ci.yml | 14 -------------- 2 files changed, 14 insertions(+), 14 deletions(-) create mode 100644 .gitlab-ci.yml delete mode 100644 lib/.gitlab-ci.yml 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 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