Update CI linter (#544)

* Update CI matcher

* Check Executable bit
This commit is contained in:
Otto Winter
2019-05-11 15:12:30 +02:00
committed by GitHub
parent f1a0e5a313
commit 797aadaf26
13 changed files with 168 additions and 49 deletions
File diff suppressed because one or more lines are too long