move timing to Coq 8.7.1

2 jobs for master in 17 minutes and 38 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #8326
fp
build-coq.8.6.1

00:17:38

canceled #8325
fp
build-coq.8.7.1

00:00:44