tree 4679d4a0b7f73338880e0276c4a13044a5fa1b6d
parent 826286a04ed3785ad925051a960c574be506166a
author Gilles Peskine <Gilles.Peskine@arm.com> 1562259682 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1562339179 +0200

Record the commits that were compared

Record the commit ID in addition to the symbolic name of the version
being tested. This makes it easier to figure out what has been
compared when reading logs that don't always indicate explicitly what
things like HEAD are.

This makes the title of HTML reports somewhat verbose, but I think
that's a small price to pay.