Infinite instances for prod/sum.

8 jobs for master in 15 minutes and 33 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #23455
fp
build-coq.8.7.0

00:02:41

passed #23454
fp
build-coq.8.7.1

00:03:04

passed #23453
fp
build-coq.8.7.2

00:03:04

passed #23452
fp-timing
build-coq.8.8.0

00:02:54

passed #23451
fp
build-coq.8.8.1

00:02:53

passed #23450
fp
build-coq.8.8.2

00:02:54

passed #23449
fp-timing
build-coq.8.9.0

00:03:13

passed #23448
fp
build-coq.dev

00:15:33