Merge pull request #1506 from nrb/ci-optimization

Only run CI when relevant files have changed
This commit is contained in:
Steve Kriss
2019-05-31 09:57:56 -06:00
committed by GitHub
2 changed files with 18 additions and 1 deletions
+1 -1
View File
@@ -8,4 +8,4 @@ sudo: required
services:
- docker
script: make ci
script: hack/ci-check.sh
+17
View File
@@ -0,0 +1,17 @@
#!/usr/bin/env bash
# If we're doing push build, as opposed to a PR, always run make ci
if [ "$TRAVIS_PULL_REQUEST" == "false" ]; then
make ci
# Exit script early, returning make ci's error
exit $?
fi
# Only run `make ci` if files outside of the site directory changed in the branch
# In a PR build, $TRAVIS_BRANCH is the destination branch.
if [[ $(git diff --name-only $TRAVIS_BRANCH | grep --invert-match site/) ]]; then
make ci
else
echo "Skipping make ci since nothing outside of site directory changed."
exit 0
fi