diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 76c4705980764522d6945b9936461785b520c17c..996f1915330e939ddf6282c2bd863383b01640ac 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -2,6 +2,10 @@ stages:
   - build
 
 .build:
+  tags:
+    - linux
+    - docker
+    - liris
   stage: build
   image: coqorg/${CI_JOB_NAME}
   before_script: