diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 840569328a77ffa3cada4c457f70ce858a698559..5da718c5b0c09aee7284556711f1be27c0d09e2f 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -17,9 +17,6 @@ variables: key: "$CI_JOB_NAME" paths: - _opam/ - only: - - /^master/@iris/transfinite - - /^ci/@iris/transfinite except: - triggers - schedules