Remove useless scope.

6 jobs for master in 17 minutes and 46 seconds (queued for 1 minute and 52 seconds)
Status Job ID Name Coverage
  Build
passed #46423
fp
build-coq.8.10.0

00:07:14

passed #46422
fp
build-coq.8.10.1

00:07:27

passed #46426
fp
build-coq.8.8.2

00:06:10

passed #46425
fp-timing
build-coq.8.9.0

00:05:47

passed #46424
fp
build-coq.8.9.1

00:06:34

passed #46421
fp
build-coq.dev

00:15:45