formatting

6 jobs for master in 23 minutes and 5 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #40841
fp
build-coq.8.10.dev

00:14:14

passed #40845
fp
build-coq.8.7.2

00:05:20

passed #40844
fp
build-coq.8.8.2

00:06:19

passed #40843
fp-timing
build-coq.8.9.0

00:05:39

passed #40842
fp
build-coq.8.9.1

00:08:15

passed #40840
fp
build-coq.dev

00:16:43