diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f5798d782eafb31ad90335e210b1fef2a922709d..bde670a852e46baa6c628c3a150cce6a2f9bd2fb 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -20,7 +20,7 @@ variables:
     paths:
     - _opam/
   only:
-  - new/@FP/semantics-course
+  - /^new/@FP/semantics-course
   - /^ci/@FP/semantics-course
   except:
   - triggers