Tue, 26 Nov 2024 01:24:46 UTC | login

Information for task build (f33, /rpms/z3.git:dc29bbe7e3063217beaf90dba7f607da152d7667)

ID839624
Methodbuild
Parameters Build target: f33
Src: git+https://src.fedoraproject.org/rpms/z3.git#dc29bbe7e3063217beaf90dba7f607da152d7667
Options:
  wait_builds = 
State closed
Buildz3-4.8.9-4.fc33
CreatedTue, 05 Jan 2021 10:09:53 UTC
StartedTue, 05 Jan 2021 10:09:54 UTC
CompletedTue, 05 Jan 2021 21:42:25 UTC
Total time 11:32:32
Task time 11:32:30
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