In the originally linked log there was an error caused by a test running
too slow:
Warning:
File "./tests-stdlib/test_API_env.v", line 293, characters 30-32
UR is linear: name it _UR (discard) or UR_ (fresh variable)
[elpi.linear-variable,elpi.typecheck,elpi,default]
File "./tests-stdlib/test_API_env.v", line 338, characters 0-235:
Error:
too slow: 11.266716 < 10.000000
Raised at Exninfo.iraise in file "clib/exninfo.ml", line 79, characters 4-11
It seems that this timeout has been raised to 20.0 s with
1ccae0231b35 ("3.2.0-2 (patches unapplied)")
- std.assert! (T < 10.0) "too slow" % 0.5 here
+ std.assert! (T < 20.0) "too slow" % 0.5 here
Debian uses hardware builders (reportedly SiFive HiFive Unmatched) that
are known to be faster than Launchpad's RISC-V VMs.
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/2110317
Title:
coq-elpi fails to build on riscv64
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/coq-elpi/+bug/2110317/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
