]> granicus.if.org Git - esp-idf/commitdiff
Merge branch 'feature/ci_support_gitlab_v9' into 'master'
authorIvan Grokhotkov <ivan@espressif.com>
Mon, 22 May 2017 03:05:21 +0000 (11:05 +0800)
committerIvan Grokhotkov <ivan@espressif.com>
Mon, 22 May 2017 03:05:21 +0000 (11:05 +0800)
CI: replace with Gitlab v9 variable names

See merge request !777


Trivial merge