Wed, 11 Dec 2024 19:49:45 UTC | login

Information for task build (f38, /rpms/z3.git:ee66c97a959698e817bac965fe3b1f009f2ac0f8)

ID1435519
Methodbuild
Parameters Build target: f38
Src: git+https://src.fedoraproject.org/rpms/z3.git#ee66c97a959698e817bac965fe3b1f009f2ac0f8
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildz3-4.12.2-1.fc38
CreatedThu, 01 Jun 2023 09:43:00 UTC
StartedMon, 05 Jun 2023 13:21:51 UTC
CompletedWed, 07 Jun 2023 05:29:25 UTC
Total time 139:46:24
Task time 40:07:33
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