Don't run 'make release' on PRs (#1908)

2017-06-09 03:52:23 +02:00
parent 73836ce8c4
commit 4a3f40460b
2 changed files with 2 additions and 2 deletions
@@ -93,7 +93,7 @@ pipeline:
    commands:
      - make release
    when:
-      event: [ push, tag, pull_request ]
+      event: [ push, tag ]

  coverage:
    image: plugins/coverage