diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index aae3367f7f4dfff4134a7b3be760bcd118b22000..2b55458e42302a12d45bf1e6f58dce2eaf6d24fc 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -18,7 +18,7 @@ variables: paths: - opamroot/ only: - - master@iris/iris + - /^master/@iris/iris - /^ci/@iris/iris except: - triggers