diff --git a/src/plugins/e-acsl/.gitlab-ci.yml b/src/plugins/e-acsl/.gitlab-ci.yml
new file mode 100644
index 0000000000000000000000000000000000000000..087f91d184fdd9203d47e51f0d002b793a4b914d
--- /dev/null
+++ b/src/plugins/e-acsl/.gitlab-ci.yml
@@ -0,0 +1,7 @@
+Tests:
+  script:
+  - eval `opam config env`
+  - autoconf
+  - "./configure"
+  - make -j 12
+  - make PTESTS_OPTS="-error-code -j 4" tests -j 12