tree a9ad3cd7a8623c98077020bf4537fedc06e1798b
parent b6ce234c57ea9369d1c5a92af96f6b993330f262
author Gilles Peskine <Gilles.Peskine@arm.com> 1562259682 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1562260014 +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.