Riscv64 platform timeout in tests/proofmode.v (4.2.0)

I'm the packager for many Coq packages in Debian, and I have a compilation issue for the package on the riscv64 platform ; see build log here.

I'm afraid there's nothing we can do about that -- nothing in this repo is target-specific; this is almost certainly a bug in Coq (or OCaml).

According to the log, this seems to be due to a Timeout command. I guess the riscv64 build is really slow, the timeout is 1 sec, and on this lightweight x86 laptop it takes 0.015s.

We can bump the number of seconds nonetheless.

Oh, I somehow thought that was a timeout of the entire build, not part of the test.

The build log is a bit hard to find from the link given above (there are many links on that page, and the "logs" column is not the most direct way to get there), here's a direct link: https://buildd.debian.org/status/fetch.php?pkg=coq-iris&arch=riscv64&ver=4.2.0-1&stamp=1717892305&raw=0.

mentioned in merge request !1051 (merged)

mentioned in commit 84ed8993

closed with merge request !1051 (merged)