Tue, 17 Dec 2024 06:46:46 UTC | login

Information for task build (f40, /rpms/why3.git:84cb61b8ea83632f544fbefc84545ec0c79557d1)

ID1665409
Methodbuild
Parameters Build target: f40
Src: git+https://src.fedoraproject.org/rpms/why3.git#84cb61b8ea83632f544fbefc84545ec0c79557d1
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildwhy3-1.7.1-2.fc40
CreatedTue, 26 Mar 2024 14:33:28 UTC
StartedTue, 26 Mar 2024 14:33:38 UTC
CompletedTue, 26 Mar 2024 19:09:54 UTC
Total time 4:36:25
Task time 4:36:15
Owner davidlt
Channel default
Host fedora-x86_64-1.fedora.riscv.rocks
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output