use sections to scope options

2 jobs for ci/primproj in 2 minutes and 45 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #3802
fp-timing
build-coq8.6.1

00:02:43

passed #3801
fp-timing
build-coq8.7

00:02:43