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

ID	685429
Method	build
Parameters	Build target: dist-oc9-epol Src: git+https://gitee.com/bbrucezhang/Agda.git?.#origin/master Options: scratch = True wait_builds = custom_user_metadata =
State	closed
Created	Tue, 13 Jan 2026 18:01:11 CST
Started	Tue, 13 Jan 2026 18:02:21 CST
Completed	Tue, 13 Jan 2026 19:11:08 CST
Total time	1:09:57
Task time	1:08:47
Owner	bbrucezhang
Channel	default
Host	builder2.x86.opencloudos.tech
Arch	noarch
Parent
Descendants	build buildSRPMFromSCM (/bbrucezhang/Agda.git:.:origin/master) buildArch (Agda-2.6.4.3-1.oc9.src.rpm, x86_64) buildArch (Agda-2.6.4.3-1.oc9.src.rpm, aarch64) buildArch (Agda-2.6.4.3-1.oc9.src.rpm, loongarch64)
Waiting?	no
Awaited?	no
Priority	20
Weight	0.20
Result
Output	No outputs reported