adapt regexp for coq 8.7

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

00:02:03

passed stdpp-coq8.6 #3139
fp-timing

00:01:40

passed stdpp-coq8.6.1 #3138
fp-timing

00:01:38

passed stdpp-coq8.7 #3137
fp-timing

00:07:12