]> granicus.if.org Git - esp-idf/commit
Merge branch 'bugfix/ci_github_deploy' into 'master'
authorAngus Gratton <angus@espressif.com>
Wed, 5 Sep 2018 10:07:24 +0000 (18:07 +0800)
committerAngus Gratton <angus@espressif.com>
Wed, 5 Sep 2018 10:07:24 +0000 (18:07 +0800)
commitb1380707e455eb196d2b7437ae4a74ceccb07c3e
tree38570d8b71e3de2647f3b6136d332c2e811f2c00
parentd7079b684204eba2af8961b1d53a771921b96626
parent7b4626f824601c4f3495fa861321d4885a97e886
Merge branch 'bugfix/ci_github_deploy' into 'master'

ci: Fix spurious pipeline failure when deploying a tag to GitHub

See merge request idf/esp-idf!3021
.gitlab-ci.yml
tools/ci/executable-list.txt