ci: Travis: skip lint job with "\[skip.lint\]"

This commit is contained in:
Daniel Hahler 2019-06-15 04:31:20 +02:00
parent 185fc775b9
commit bd3242a70f

View File

@ -68,7 +68,7 @@ jobs:
# store 32-bit dependencies in a separate cache.
compiler: gcc
env: BUILD_32BIT=ON
- if: branch = master
- if: branch = master AND commit_message !~ /\[skip.lint\]/
os: linux
env: CI_TARGET=lint