Public bug reported:
coq-iris is ftbfs on riscv64:
https://launchpad.net/ubuntu/+source/coq-iris/4.3.0-1build6/+build/32111940
Log:
COQTEST tests/proofmode.v (ref: tests/proofmode.ref)
File "/<<PKGBUILDDIR>>/tests/proofmode.v", line 703, characters 2-19:
Error: Timeout!
Timeout error is not surprising given how slow emulated riscv64 is. Maybe we
could just increase the timeout?
** Affects: coq-iris (Ubuntu)
Importance: Undecided
Status: New
** Tags: ftbfs
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/2137624
Title:
ftbfs: coq-iris is ftbfs on riscv64
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/coq-iris/+bug/2137624/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
