Mon, 16 Dec 2024 06:56:10 UTC | login

Information for task build (f40, /rpms/ghc-microlens-platform.git:d4c7c119b67db3a2fc13c64f0dec85398788629e)

ID1510109
Methodbuild
Parameters Build target: f40
Src: git+https://src.fedoraproject.org/rpms/ghc-microlens-platform.git#d4c7c119b67db3a2fc13c64f0dec85398788629e
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildghc-microlens-platform-0.4.3.3-1.fc40
CreatedMon, 20 Nov 2023 08:08:37 UTC
StartedMon, 20 Nov 2023 08:08:46 UTC
CompletedMon, 20 Nov 2023 08:35:51 UTC
Total time 0:27:14
Task time 0:27:04
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