diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-07-17 07:34:32 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-07-17 07:34:32 +0200 |
| commit | a14a894870b9503e649bb79f32a26a6b9171f02a (patch) | |
| tree | c0894b4af834d1e75ef8e5fc676775f2d7799c5c | |
| parent | e3c4da34f14b00d2b3feb087fcce1cebd8064064 (diff) | |
| parent | 8d895c065b9a3dc9cc54b0cbc0f6f8daf275ece4 (diff) | |
Merge PR #872: [travis] Display info on tested commit for PR builds.
| -rw-r--r-- | .travis.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index d2d779d8b..6de63d387 100644 --- a/.travis.yml +++ b/.travis.yml @@ -145,6 +145,9 @@ matrix: - brew update - brew install opam +before_install: +- if [ "${TRAVIS_PULL_REQUEST}" != "false" ]; then echo "Tested commit (followed by parent commits):"; git log -1; for commit in `git log -1 --format="%P"`; do echo; git log -1 $commit; done; fi + install: - opam init -j ${NJOBS} --compiler=${COMPILER} -n -y - eval $(opam config env) |