Wed, 04 Dec 2024 06:16:59 UTC | login

Information for task buildArch (Agda-2.6.4.3-50.fc41.src.rpm, riscv64)

ID1793874
MethodbuildArch
Parameters Arch: riscv64
Build tag: f41-build
Keep srpm: True
Pkg: tasks/3504/1793504/Agda-2.6.4.3-50.fc41.src.rpm
Options:
  repo_id = 162646
State canceled
CreatedMon, 19 Aug 2024 03:24:18 UTC
StartedMon, 19 Aug 2024 04:10:32 UTC
CompletedMon, 19 Aug 2024 08:48:52 UTC
Total time 5:24:33
Task time 4:38:19
Owner davidlt
Channel default
Host lpi4.montleon.net
Archriscv64
Buildroot /var/lib/mock/f41-build-844862-162646
Parent build (f41, /rpms/Agda.git:59158d61c7b09dc1d891dd86339f6d21e3675dcd)
Descendants
Waiting?no
Awaited?yes
Priority19
Weight1.50
Result
Output build.log (tail)
hw_info.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)