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>
1 file changed