diff options
| -rw-r--r-- | .travis.yml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index 6c1de830..6e3dcc5a 100644 --- a/.travis.yml +++ b/.travis.yml @@ -15,6 +15,15 @@ branches: only: - stable +## See https://github.com/travis-ci/travis-ci/issues/7459#issuecomment-287040521 +## See https://github.com/travis-ci/travis-ci/issues/7459#issuecomment-601346831 +before_install: + # Check commit matches expected commit (because of Travis bug) + - | + if [[ "$TRAVIS_COMMIT" != "$(git rev-parse HEAD)" ]]; then + echo "Commit $(git rev-parse HEAD) doesn't match expected commit $TRAVIS_COMMIT" + fi + script: - mkdir public - make updates |