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

ID	674842
Method	build
Parameters	Build target: dist-oc9-epol Src: git+https://gitee.com/opencloudos-stream/idris.git?.#origin/master Options: wait_repo = True wait_builds = custom_user_metadata =
State	closed
Build	idris-1.3.4-3.oc9
Created	Tue, 28 Oct 2025 10:32:36 CST
Started	Tue, 28 Oct 2025 10:33:41 CST
Completed	Tue, 28 Oct 2025 11:32:16 CST
Total time	0:59:40
Task time	0:58:35
Owner	epol-bot
Channel	default
Host	builder3.aarch64.opencloudos.tech
Arch	noarch
Parent
Descendants	build waitrepo (dist-oc9-epol-build, ) buildSRPMFromSCM (/opencloudos-stream/idris.git:.:origin/master) buildArch (idris-1.3.4-3.oc9.src.rpm, x86_64) buildArch (idris-1.3.4-3.oc9.src.rpm, aarch64) buildArch (idris-1.3.4-3.oc9.src.rpm, loongarch64) tagBuild (noarch)
Waiting?	no
Awaited?	no
Priority	20
Weight	0.20
Result
Output	No outputs reported