This commit is contained in:
Dirk Wetter 2020-11-27 20:24:46 +01:00 committed by GitHub
parent 1cd5510955
commit a780ad6174
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 6 deletions

View File

@ -8,7 +8,6 @@ addons:
- dnsutils
- jsonlint
before_install:
- |
- if ! git diff --name-only $TRAVIS_COMMIT_RANGE | grep -qvE '(.md)|(.pem)|(.pdf)|(.html)|^(LICENSE)|^(docs)|^(utils)|^(bin)|(Dockerfile)'
then
echo "no code was updated, not running the CI."