Thu, 19 Sep 2024 22:00:53 UTC | login

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

ID1780969
MethodbuildArch
Parameters Arch: riscv64
Build tag: f41-build
Keep srpm: True
Pkg: tasks/808/1780808/Agda-2.6.4.3-50.fc41.src.rpm
Options:
  repo_id = 160595
State canceled
CreatedTue, 13 Aug 2024 06:19:38 UTC
StartedFri, 16 Aug 2024 13:15:41 UTC
CompletedFri, 16 Aug 2024 13:25:28 UTC
Total time 79:05:50
Task time 0:09:46
Owner davidlt
Channel default
Host winterrose.scrye.com
Archriscv64
Buildroots /var/lib/mock/f41-build-840231-160595
/var/lib/mock/f41-build-840746-160595
/var/lib/mock/f41-build-841138-160595
/var/lib/mock/f41-build-842245-160595
/var/lib/mock/f41-build-843367-160595
Parent build (f41, /rpms/Agda.git:59158d61c7b09dc1d891dd86339f6d21e3675dcd)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.50
Result
Output build.log (tail)
hw_info.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)