Merge pull request #501 from minrk/push-tags

fix push-tags condition
pull/523/head
Tim Head 2018-12-18 12:49:20 +01:00 zatwierdzone przez GitHub
commit 36641f3b6f
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: 4AEE18F83AFDEB23
1 zmienionych plików z 3 dodań i 3 usunięć

Wyświetl plik

@ -33,15 +33,15 @@ jobs:
include:
- stage: deploy
script: skip
if: type = push
if: type = push AND (branch = master OR tag IS present)
env:
- REPO_TYPE=
deploy:
provider: script
script: "./travis/travis-script.bash"
on:
tags: true
branch: master
repo: jupyter/repo2docker
env:
matrix:
- REPO_TYPE=unit