diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
new file mode 100644
index 0000000000000000000000000000000000000000..f890f461524cfdd339a1c0e0d959b21ae7655ff0
--- /dev/null
+++ b/.gitlab-ci.yml
@@ -0,0 +1,7 @@
+image: coq:8.5
+
+buildjob:
+  tags:
+  - coq
+  script:
+  - make