for now disable tests on coq 8.10

7 jobs for master in 13 minutes and 14 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
passed build-coq.8.7.1 #21613
fp

00:05:05

passed build-coq.8.7.2 #21612
fp

00:05:45

passed build-coq.8.8.0 #21611
fp-timing

00:05:01

passed build-coq.8.8.1 #21610
fp

00:05:38

passed build-coq.8.8.2 #21609
fp

00:05:34

passed build-coq.8.9.dev #21608
fp-timing

00:05:38

passed build-coq.dev #21607
fp

00:07:35