Tue, 17 Dec 2024 00:29:47 UTC | login

Information for task build (f40, /rpms/ghc-wai-cors.git:0dd3006035b96bc009c33792b5a16ae18b11aa24)

ID1507932
Methodbuild
Parameters Build target: f40
Src: git+https://src.fedoraproject.org/rpms/ghc-wai-cors.git#0dd3006035b96bc009c33792b5a16ae18b11aa24
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildghc-wai-cors-0.2.7-20.fc40
CreatedSun, 19 Nov 2023 12:19:46 UTC
StartedSun, 19 Nov 2023 12:19:47 UTC
CompletedSun, 19 Nov 2023 13:00:05 UTC
Total time 0:40:19
Task time 0:40:18
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