diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 5f8de3d4e4dbc2f1e67f259cd41811ac06a2e297..a8d9ef50d2ec668b231cba6cd03d7f039d2526ff 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: