switch CI to Coq 8.10.1

1 job for master in 3 minutes and 30 seconds (queued for 27 minutes and 21 seconds)
Status Job ID Name Coverage
  Build
failed #46671
fp-timing
build-coq.8.10.1

00:03:30

 
Name Stage Failure
failed
build-coq.8.10.1 Build
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[coq-iris-examples-builddep.~dev] no changes from file:///builds/iris/examples/build-dep

coq-iris-examples-builddep.~dev and coq are not installed. Install them? [Y/n] y
The following dependencies couldn't be met:
- coq -> ocaml >= 4.05.0
base of this switch (use `--unlock-base' to force)

ERROR: Job failed: exit code 1