diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 46f5c7fa5197144bab75fce69943332bc02f284e..0fdf927a374ab71824e9f3a4b6c0a4a64f00fbb2 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -23,6 +23,7 @@ iris-coq8.6:
   - master
   - ci
   - timing
+  - seal_ires
   artifacts:
     paths:
     - build-time.txt