]> granicus.if.org Git - esp-idf/commitdiff
Merge branch 'bugfix/gh_action_on_pull_request' into 'master'
authorIvan Grokhotkov <ivan@espressif.com>
Mon, 23 Sep 2019 04:54:21 +0000 (12:54 +0800)
committerIvan Grokhotkov <ivan@espressif.com>
Mon, 23 Sep 2019 04:54:21 +0000 (12:54 +0800)
gh_action: fix error on new pull request

Closes IDFGH-1824

See merge request espressif/esp-idf!6116


Trivial merge