Information for task build (f41, /rpms/Agda-stdlib.git:98c46c32fa0eabe71737721e377ef91bea6c46a4)

ID55022
Methodbuild
Parameters Build target: f41
Src: git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#98c46c32fa0eabe71737721e377ef91bea6c46a4
State failed
CreatedTue, 30 Apr 2024 12:34:15 CST
StartedTue, 30 Apr 2024 12:34:32 CST
CompletedTue, 30 Apr 2024 12:47:41 CST
Total time 0:13:25
Task time 0:13:08
Owner kojiadmin
Channel default
Host buildvm_riscv64_803.openkoji.iscas.ac.cn
Archnoarch
Parent
Descendants failed build
Waiting?yes
Awaited?no
Priority20
Weight0.20
Result
BuildError: error building package (arch noarch), mock exited with status 30; see root.log for more information
Output
No outputs reported