diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 2b0a34e6a8b2f5423b0ab45babba8c6ff5c3e50f..8342756be1addf468c7339a9603a647460580a9b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -9,9 +9,9 @@
 build_docker:
   stage: deploy
   tags:
-    # - ci.inria.fr
-    # - large
-    - myrunner
+    - ci.inria.fr
+    - large
+    # - myrunner
   image: ubuntu:20.04
   script:
     - apt update; apt install -y python3 python3-pip mercurial git ca-certificates curl gnupg lsb-release