Fri, 13 Dec 2024 13:42:51 UTC | login

Information for task build (f38, /rpms/cvc4.git:186b987498733b2110baacf32c19e2faaef9721e)

ID1406333
Methodbuild
Parameters Build target: f38
Src: git+https://src.fedoraproject.org/rpms/cvc4.git#186b987498733b2110baacf32c19e2faaef9721e
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildcvc4-1.8-15.fc38
CreatedFri, 05 May 2023 05:45:48 UTC
StartedFri, 05 May 2023 05:49:04 UTC
CompletedFri, 05 May 2023 11:01:54 UTC
Total time 5:16:06
Task time 5:12:50
Owner davidlt
Channel default
Host fedora-x86_64-1.fedora.riscv.rocks
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority5
Weight0.20
Result
Output