Merge branch 'bugfix/ci_push_to_github_on_label_v3.2' into 'release/v3.2'

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

See merge request espressif/esp-idf!8940
This commit is contained in:
He Yin Ling 2020-05-27 18:42:35 +08:00
commit d15f2629b0

View File

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