diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f890f461524cfdd339a1c0e0d959b21ae7655ff0..3d5724123e9d1b7f171a6a7401ab160fe4146503 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -4,4 +4,4 @@ buildjob:
   tags:
   - coq
   script:
-  - make
+  - make -j9