From c0d5f251720f621f96f8ed7c68459a02af38b926 Mon Sep 17 00:00:00 2001
From: Max Kahnt <max.kahnt@fu-berlin.de>
Date: Fri, 12 May 2017 15:22:10 +0200
Subject: [PATCH] Add gitlab CI.

---
 .gitlab-ci.yml | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 .gitlab-ci.yml

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
new file mode 100644
index 0000000..1609a52
--- /dev/null
+++ b/.gitlab-ci.yml
@@ -0,0 +1,10 @@
+---
+# Install external dependencies
+
+dune:git--clang:
+  image: duneci/dune:git
+  script: duneci-standard-test --opts=/duneci/opts.clang
+
+dune:git--gcc:
+  image: duneci/dune:git
+  script: duneci-standard-test
-- 
GitLab