Commit d74aa7e1 authored by Jan Kiene's avatar Jan Kiene
Browse files

do not run pipelines on pushes

parent 5060543b
Loading
Loading
Loading
Loading
+1 −0
Original line number Diff line number Diff line
@@ -13,6 +13,7 @@ workflow:
      when: never
    - if: $CI_PIPELINE_SOURCE == 'merge_request_event'
    - if: $CI_PIPELINE_SOURCE == 'push'
      when: never
    - if: $CI_PIPELINE_SOURCE == 'web' # for testing