Wed, 27 Nov 2024 21:19:31 UTC | login

Information for task build (f40, /rpms/coq.git:ef4484f9a526bfdd0d5aa12e8b8319d371d8b00d)

ID1651205
Methodbuild
Parameters Build target: f40
Src: git+https://src.fedoraproject.org/rpms/coq.git#ef4484f9a526bfdd0d5aa12e8b8319d371d8b00d
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildcoq-8.18.0-4.fc40
CreatedTue, 19 Mar 2024 19:04:45 UTC
StartedTue, 19 Mar 2024 19:04:52 UTC
CompletedWed, 20 Mar 2024 06:58:03 UTC
Total time 11:53:17
Task time 11:53:10
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