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