continuous integration script for Gitlab

2021-04-06 20:47:52 +02:00 · 2021-04-06 20:47:52 +02:00 · 60a0c737d7
parent 8fd58c4942
commit 60a0c737d7
1 changed files with 10 additions and 0 deletions
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@ -0,0 +1,10 @@
+include: 'https://gitlab.com/gasche/gitlab-ocaml-ci-example/-/raw/11c1d7e/.gitlab-ci.yml'
+
+
+.build-matrix:
+  parallel:
+    matrix:
+    - OCAML_COMPILER: "4.12.0"
+
+variables:
+  DUNE_DOC_TARGETS: ""