From: Ivan Grokhotkov Date: Wed, 30 May 2018 03:41:06 +0000 (+0800) Subject: Merge branch 'feature/ci_fail_on_executable_files' into 'master' X-Git-Tag: v3.1-beta1~73 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=ddff375baba55ffe8e342f5572ebb097d065d6ff;p=esp-idf Merge branch 'feature/ci_fail_on_executable_files' into 'master' CI: check source files for executable flag See merge request idf/esp-idf!2463 --- ddff375baba55ffe8e342f5572ebb097d065d6ff