use standard license name

5 jobs for master in 13 minutes and 16 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #82059
fp
build-coq.8.10.2

00:06:27

passed #82058
fp-timing
build-coq.8.11.2

00:04:01

passed #82057
fp
build-coq.8.12.dev

00:12:51

passed #82061
fp
build-coq.8.8.2

00:03:37

passed #82060
fp
build-coq.8.9.1

00:04:17