diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-07-11 17:00:51 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-07-11 17:24:38 +0200 |
| commit | 8d895c065b9a3dc9cc54b0cbc0f6f8daf275ece4 (patch) | |
| tree | 45459aaeefa727b76cd7ffa98da23e28f6ea5950 /.travis.yml | |
| parent | b5ad6a80107f196fa8ffcc4f5dff58bea8c4f70e (diff) | |
[travis] Display info on tested commit for PR builds.
This is made necessary by the fact that the displayed commit in the header
of the build can be outdated if the build was restarted or took a long time
to start. Sometimes, it is so old that the link to GitHub is a 404.
Diffstat (limited to '.travis.yml')
| -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) |