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>