diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 9504fbdb532e1d8e3c2d122b2fc640ddc34edbb8..79ec3926b97d36e58b25cbe1f1d6b1f6ef02ca9a 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -18,8 +18,8 @@ variables: paths: - opamroot/ only: - - master - - /^ci/ + - master@iris/stdpp + - /^ci/@iris/stdpp except: - triggers - schedules