use a section for local options

4 jobs for master in 5 minutes and 5 seconds (queued for 1 minute and 48 seconds)
Status Job ID Name Coverage
  Build
passed #3808
fp-timing
build-coq8.6

00:01:52

passed #3807
fp-timing
build-coq8.6.1

00:01:47

passed #3806
fp-timing
build-coq8.7

00:04:52

 
  Opam
passed #3809
opam

00:00:12