drop Coq 8.7, add 8.10

1 job for master in 15 minutes and 4 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #47137
fp
build-iris.dev

00:15:04