tree 0392a0a89ddd3aec9539cf6aded58ac634a13f9d
parent 33598864e823306ea70bf6daba8d75b658d0232e
author Martin Storsjö <martin@martin.st> 1757070213 +0300
committer Martin Storsjö <martin@martin.st> 1757325044 +0300

github: Shorten the names of some jobs

This makes it easier to view the details of each individual job
in the matrix of each of these, in the github UI.

Signed-off-by: Martin Storsjö <martin@martin.st>