make it build again

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

00:15:05

passed #3643
fp-timing
build-coq8.7

00:10:12