Thu, 09 Oct 2025 14:42:33 CST | login

Information for task buildArch (Agda-2.6.3-2.oc9.src.rpm, aarch64)

ID588555
MethodbuildArch
Parameters Arch: aarch64
Build tag: dist-oc9-epol-build
Keep srpm: False
Pkg: tasks/7836/587836/Agda-2.6.3-2.oc9.src.rpm
Options:
  repo_id = 80076
State canceled
CreatedMon, 28 Jul 2025 11:46:11 CST
CompletedMon, 28 Jul 2025 11:53:42 CST
Total time 0:07:30
Owner bbrucezhang
Channel default
Host
Archaarch64
Parent build (dist-oc9-epol, /opencloudos-stream/Agda.git:.:origin/master)
Descendants
Waiting?no
Awaited?yes
Priority19
Weight1.00
Result
Output
No outputs reported