From: Anton Maklakov <anton@espressif.com>
Date: Thu, 6 Dec 2018 18:39:51 +0000 (+0800)
Subject: Merge branch 'bugfix/ci_tag_for_cmake_linter' into 'master'
X-Git-Tag: v3.3-beta1~10
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=e224b8a43ae0f53d4da3767c90a138392f66f226;p=esp-idf

Merge branch 'bugfix/ci_tag_for_cmake_linter' into 'master'

ci: A small CI stabilizing fix

See merge request idf/esp-idf!3801
---

e224b8a43ae0f53d4da3767c90a138392f66f226