1 files changed, 11 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
new file mode 100644
index 00000000..8e840fd9
--- /dev/null
+++ b/.gitlab-ci.yml
@@ -0,0 +1,11 @@
+stages:
+  - build_x86_64
+
+.build_x86_64:
+  stage: build_x86_64
+  image: "coqorg/coq"
+  before_script:
+    - opam install -y menhir
+  script:
+    ./config_x86_64.sh
+    make -j "$NJOBS"
+\ No newline at end of file