On Wed, Sep 23, 2020 at 10:22:52AM +0100, Richard Sandiford wrote: > So that would give: > > Results for 8.4.1 20200918 [r8-10517] on arm-none-linux-gnueabihf > > and hopefully free up some space at the end for the kind of thing > you mention.
Even that 8.4.1 20200918 is redundant, r8-10517 uniquely and shortly
identifies both the branch and commit.
So just
Results for r8-10517 on ...
and in ... also include something that uniquely identifies the
configuration.
Jakub
