also test 8.7.2; stop testing 8.7.dev as that branch is done now

7 jobs for master in 16 minutes and 52 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #8512
fp
build-coq.8.6.0

00:07:04

passed #8511
fp
build-coq.8.6.1

00:07:00

passed #8510
fp
build-coq.8.7.0

00:06:52

passed #8509
fp
build-coq.8.7.1

00:08:58

passed #8513
fp-timing
build-coq.8.7.2

00:07:53

passed #8507
fp
build-coq.dev

00:04:28

failed #8508
fp-timing
build-coq.8.7.2

00:00:56