Sun, 08 Nov 2026 23:17:18 UTC Log in

build (f45, /rpms/rocq-stdlib.git:57cd1cd4f1bb39eb029dd362cf0ac91d5e480dc8)

failed
Task 125678 owned by guoguo created Thu, 29 Oct 2026 23:54:51 UTC ran 0:21:06

Result

BuildError: error building package (arch riscv64), mock exited with status 30; see root.log for more information

Descendants

Parent: none (top-level task)
Logs task 125678
—