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