update CI; time Coq 8.7.1

6 jobs for master in 38 minutes and 23 seconds (queued for 1 second)
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