Source: coq-elpi Version: 3.2.0-3 Severity: serious Tags: ftbfs patch X-Debbugs-Cc: [email protected], Julien Puydt <[email protected]> User: [email protected] Usertags: riscv64
https://buildd.debian.org/status/logs.php?pkg=coq-elpi&arch=riscv64 ... File "./apps/tc/tests/tlc.v", line 44, characters 28-47: Error: Timeout! ... This is not the first time: https://salsa.debian.org/ocaml-team/coq-elpi/-/commit/f346f34a6eefe389c0451dc9c4d78f90a880dc71 The attached patch fixes it for me.
Description: increase a timeout Author: Adrian Bunk <[email protected]> --- coq-elpi-3.5.0.orig/apps/tc/tests/tlc.v +++ coq-elpi-3.5.0/apps/tc/tests/tlc.v @@ -41,6 +41,6 @@ Module SlowExecution. Lemma eq_existT_same_eq (A : Type) (P : A -> Type) (p : A) (x y : P p): (existT P p x = existT P p y) = (x = y). Proof. - Timeout 30 Fail refine (@extensionality _ _). + Timeout 300 Fail refine (@extensionality _ _). Abort. End SlowExecution.
