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

build (f45, /rpms/rocq.git:ceeb2cff056a934acb6875d1287e4e98159b0df2)

failed
Task 125677 owned by guoguo created Thu, 29 Oct 2026 23:54:51 UTC ran 0:16:05

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