Tue, 03 Nov 2026 00:56:23 UTC Log in

build (f45, /rpms/gappalib-coq.git:a42cb3ffe46d7bde1d2ed106ca4b35b9d02a8f92)

failed
Task 120724 owned by guoguo created Thu, 29 Oct 2026 17:24:40 UTC ran 0:14:07

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 120724
—