Thu, 05 Nov 2026 13:23:23 UTC Log in

build (f45, /rpms/coq.git:d1626a30a6dfa7e777ede19419ba4549ae1c67f7)

failed
Task 110173 owned by guoguo created Thu, 29 Oct 2026 06:49:46 UTC ran 0:15:26

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