projects / esp-idf / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 35785d0) | patch
ci: Fix spurious pipeline failure when deploying a tag to GitHub
authorAngus Gratton <angus@espressif.com>
Thu, 16 Aug 2018 01:04:28 +0000 (11:04 +1000)
committerAngus Gratton <gus@projectgus.com>
Fri, 7 Sep 2018 07:21:51 +0000 (15:21 +0800)
commitda3c1be049aabf758bfa64c7bbfd02be5314bf7f
treeb41dc7846a326c531ae0e8b5b428310f507cc124tree | snapshot
parent35785d08fdde4f336d41ca956473cd11de380329commit | diff
ci: Fix spurious pipeline failure when deploying a tag to GitHub

Everything succeeds, but because [ -z ${CI_COMMIT_TAG} ] on the last line returns non-zero, it
fails the job.
.gitlab-ci.yml diff | blob | history
tools/ci/executable-list.txt diff | blob | history
tools/ci/push_to_github.sh [new file with mode: 0755] blob
Unnamed repository; edit this file 'description' to name the repository.