Skip to content

GitLab

update CI; time Coq 8.7.1

6 jobs for master in 38 minutes and 23 seconds (queued for 1 second)
9a35c9a5
No related merge requests found.
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