Bug#1143209: coq-elpi FTBFS on riscv64: test timeout too short

This is a multi-part MIME message sent by reportbug.


--===============4207784620285299487==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

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.

--===============4207784620285299487==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: attachment; filename="increase_timeout.patch"

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.

--===============4207784620285299487==--