Sat, 15 Jun 2024 06:49:42 UTC | login

Information for task build (f38, /rpms/ghc-microlens.git:b23ed60a6b916bcbeaa60f422f9c58037689acc7)

ID1451422
Methodbuild
Parameters Build target: f38
Src: git+http://fedora.riscv.rocks:3000/rpms/ghc-microlens.git#b23ed60a6b916bcbeaa60f422f9c58037689acc7
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildghc-microlens-0.4.12.0-7.rvre0.fc38
CreatedThu, 22 Jun 2023 17:14:30 UTC
StartedThu, 22 Jun 2023 17:14:36 UTC
CompletedThu, 22 Jun 2023 18:51:09 UTC
Total time 1:36:38
Task time 1:36:32
Owner davidlt
Channel default
Host fedora-x86_64-1.fedora.riscv.rocks
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority13
Weight0.20
Result
Output