adapt regexp for coq 8.7

4 jobs for master in 7 minutes and 12 seconds
Status Job ID Name Coverage
  Test
passed #3140
fp-timing
stdpp-coq8.5.3

00:02:03

passed #3139
fp-timing
stdpp-coq8.6

00:01:40

passed #3138
fp-timing
stdpp-coq8.6.1

00:01:38

passed #3137
fp-timing
stdpp-coq8.7

00:07:12