update CI; time Coq 8.7.1

6 jobs for master in 38 minutes and 23 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build
passed build-coq.8.6.1 #8300
fp

00:03:25

passed build-coq.8.7.1 #8299
fp-timing

00:08:06

 
  Deploy
passed opam #8301

00:00:16

passed reverse-deps #8302

00:00:17

 
  Build More
passed build-coq.8.7.0 #8304
fp

00:14:37

failed build-coq.dev #8303
fp

00:30:00

 
Name Stage Failure
failed
build-coq.dev Build More There is an unknown failure, please try again
  
* Axioms:
iris.base_logic.lib.iprop.iProp_solution.iProp_fold_unfold
iris.base_logic.lib.iprop.iProp_solution.iProp_unfold
iris.base_logic.lib.iprop.iProp_solution.iPreProp
iris.base_logic.lib.iprop.iProp_solution.iProp_fold
iris.base_logic.lib.iprop.iProp_solution.iProp_unfold_fold
make[1]: Leaving directory '/builds/FP/iris-coq'
ERROR: Job failed: execution took longer than 30m0s seconds