also run CI against 8.7 branch (will switch to release once that happened)

4 jobs for master in 15 minutes and 25 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #3124
fp-timing
stdpp-coq8.5.3

00:07:24

passed #3123
fp-timing
stdpp-coq8.6

00:02:00

passed #3122
fp-timing
stdpp-coq8.6.1

00:11:07

failed #3121
fp-timing
stdpp-coq8.7

00:05:57

 
Name Stage Failure
failed
stdpp-coq8.7 Test There is an unknown failure, please try again
[opam-builddep-temp: git] Command started
[opam-builddep-temp: git] Command started
[opam-builddep-temp] /builds/robbertkrebbers/coq-stdpp#HEAD already up-to-date
Sorry, no solution found: there seems to be a problem with your request.

No solution found, exiting
Makefile:33: recipe for target 'build-dep' failed
make: *** [build-dep] Error 3
ERROR: Build failed: exit code 1