Fri, 16 Jan 2026 17:14:58 CST | login

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

ID685403
MethodbuildArch
Parameters Arch: x86_64
Build tag: dist-oc9-epol-build
Keep srpm: True
Pkg: tasks/5399/685399/Agda-2.6.4.3-1.oc9.src.rpm
Options:
  repo_id = 81790
State canceled
CreatedTue, 13 Jan 2026 16:38:44 CST
StartedTue, 13 Jan 2026 16:39:06 CST
CompletedTue, 13 Jan 2026 16:42:40 CST
Total time 0:03:55
Task time 0:03:34
Owner bbrucezhang
Channel default
Host builder1.x86.opencloudos.tech
Archx86_64
Buildroot /var/lib/mock/dist-oc9-epol-build-233082-81790
Parent build (dist-oc9-epol, /bbrucezhang/Agda.git:.:origin/master)
Descendants
Waiting?no
Awaited?yes
Priority19
Weight1.50
Result
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)