build (dist-oc9-epol, /opencloudos-stream/Agda.git:.:origin/master) | Task Info

ID	661461
Method	build
Parameters	Build target: dist-oc9-epol Src: git+https://gitee.com/opencloudos-stream/Agda.git?.#origin/master Options: wait_builds = custom_user_metadata =
State	failed
Created	Mon, 13 Oct 2025 10:28:40 CST
Started	Mon, 13 Oct 2025 10:29:24 CST
Completed	Mon, 13 Oct 2025 10:44:12 CST
Total time	0:15:32
Task time	0:14:48
Owner	bbrucezhang
Channel	default
Host	builder2.x86.opencloudos.tech
Arch	noarch
Parent
Descendants	build buildSRPMFromSCM (/opencloudos-stream/Agda.git:.:origin/master) buildArch (Agda-2.6.3-2.oc9.src.rpm, x86_64) buildArch (Agda-2.6.3-2.oc9.src.rpm, aarch64) buildArch (Agda-2.6.3-2.oc9.src.rpm, loongarch64)
Waiting?	yes
Awaited?	no
Priority	20
Weight	0.20
Result	BuildError: error building package (arch aarch64), mock exited with status 30; see root.log for more information
Output	No outputs reported