do nightly build against Coq 8.10 branch

2 jobs for master in 19 minutes and 30 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
failed #32361
fp
build-iris.dev

00:19:30

failed #32360
fp
build-iris.dev

00:07:04

 
Name Stage Failure
failed
build-iris.dev Build
[convert_concl_no_check,deprecated]
File "./theories/spanning_tree/mon.v", line 389, characters 4-22:
Warning:
The syntax [convert_concl_no_check] is deprecated. Use [change_no_check] instead.
[convert_concl_no_check,deprecated]
File "./theories/spanning_tree/mon.v", line 389, characters 4-22:
Warning:
The syntax [convert_concl_no_check] is deprecated. Use [change_no_check] instead.
[convert_concl_
Job's log exceeded limit of 4194304 bytes.