Merge branch 'robbert/coq8.10.1' into 'master'

Use Coq 8.10.1 for CI

See merge request !2
1 job for master in 19 minutes and 56 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #47591
fp
build-iris.dev

00:19:56