From 8d895c065b9a3dc9cc54b0cbc0f6f8daf275ece4 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Tue, 11 Jul 2017 17:00:51 +0200
Subject: [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.
---
 .travis.yml | 3 +++
 1 file changed, 3 insertions(+)

(limited to '.travis.yml')

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)
-- 
cgit v1.2.3