]> granicus.if.org Git - esp-idf/commit
projects / esp-idf / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4f227a4) | 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>
Wed, 22 Aug 2018 03:11:18 +0000 (13:11 +1000)
commit7b4626f824601c4f3495fa861321d4885a97e886
tree601f5e8ec5e2644b3d067c41eb4f0cad3b4a0f4ftree | snapshot
parent4f227a4ce39265a39ab9c900763ada3fac7338abcommit | 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.