ci: Don't push to Github or deploy docs on customized pipelines

BOT_TRIGGER_WITH_LABEL must be empty (meaning all tests are running).
This commit is contained in:
Angus Gratton 2020-05-22 15:04:39 +10:00 committed by Angus Gratton
parent 221ca4b1e5
commit 7b8cd22a46

View file

@ -597,9 +597,12 @@ push_to_github:
tags: tags:
- deploy - deploy
only: only:
- master refs:
- /^release\/v/ - master
- /^v\d+\.\d+(\.\d+)?($|-)/ - /^release\/v/
- /^v\d+\.\d+(\.\d+)?($|-)/
variables:
- $BOT_TRIGGER_WITH_LABEL == null
when: on_success when: on_success
dependencies: [] dependencies: []
before_script: *do_nothing_before before_script: *do_nothing_before