diff options
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index 1a9f6964f..4e937b50f 100644 --- a/.travis.yml +++ b/.travis.yml @@ -135,6 +135,21 @@ matrix: - avsm packages: *coqide-packages + - if: type = pull_request + env: + - TEST_TARGET="lint" + install: [] + before_script: [] + addons: + apt: + sources: [] + packages: [] + script: + - CUR_HEAD=${TRAVIS_COMMIT_RANGE%%...*} + - PR_HEAD=${TRAVIS_COMMIT_RANGE##*...} + - MERGE_BASE=$(git merge-base $CUR_HEAD $PR_HEAD) + - dev/lint-commits.sh $MERGE_BASE $PR_HEAD + - os: osx osx_image: xcode8.3 env: |