tree a2b43495048a483f2e81daa6dbc8f14a6390bbdd
parent cc02658d27a56f7c65d86e69a46b259f303283d8
author Gilles Peskine <Gilles.Peskine@arm.com> 1562259682 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1562339202 +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.