shorten job name

1 job for master in 14 minutes and 21 seconds (queued for 11 minutes and 35 seconds)
Status Job ID Name Coverage
  Test
passed #3134
fp-timing
iratomic-coq8.6.1

00:14:21