Mon, 12 Jan 2026 07:17:18 CST | login

Information for task buildArch (Agda-2.8.0-1.oc9.src.rpm, x86_64)

ID684242
MethodbuildArch
Parameters Arch: x86_64
Build tag: dist-oc9-epol-build
Keep srpm: True
Pkg: tasks/4239/684239/Agda-2.8.0-1.oc9.src.rpm
Options:
  repo_id = 81744
State failed
CreatedMon, 05 Jan 2026 10:11:35 CST
StartedMon, 05 Jan 2026 10:12:17 CST
CompletedMon, 05 Jan 2026 10:13:08 CST
Total time 0:01:33
Task time 0:00:50
Owner bbrucezhang
Channel default
Host builder3.x86.opencloudos.tech
Archx86_64
Buildroot /var/lib/mock/dist-oc9-epol-build-232453-81744
Parent build (dist-oc9-epol, /bbrucezhang/Agda.git:.:origin/master)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.50
Result
BuildError: error building package (arch x86_64), mock exited with status 30; see root.log for more information
Output build.log (tail)
dnf.log (tail)
dnf.librepo.log (tail)
dnf.rpm.log (tail)
hw_info.log (tail)
mock_config.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)