diff options
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 |