test agains Coq 8.7.1

2 jobs for master
Status Job ID Name Coverage
  Test
canceled #6828
fp-timing
build-coq.8.6.1

canceled #6827
fp-timing
build-coq.8.7.1