Merge branch 'bugfix/ci_push_to_github_on_label_v4.1' into 'release/v4.1'

ci: Don't push to Github or deploy docs on customized pipelines (v4.1)

See merge request espressif/esp-idf!8937
This commit is contained in:
Angus Gratton 2020-05-29 12:43:11 +08:00
commit 7708bf6158

View file

@ -53,10 +53,12 @@ push_to_github:
tags: tags:
- deploy - deploy
only: only:
- master refs:
- /^release\/v/ - master
- /^v\d+\.\d+(\.\d+)?($|-)/ - /^release\/v/
- feature/esp32s2beta - /^v\d+\.\d+(\.\d+)?($|-)/
variables:
- $BOT_TRIGGER_WITH_LABEL == null
when: on_success when: on_success
dependencies: [] dependencies: []
extends: .before_script_lesser extends: .before_script_lesser