Mon, 16 Dec 2024 20:33:12 UTC | login

Information for task build (f40, /rpms/ghc-semigroupoids.git:bcc8501103f61fd1298cc4b8eaa77d4ea967198d)

ID1603019
Methodbuild
Parameters Build target: f40
Src: git+https://src.fedoraproject.org/rpms/ghc-semigroupoids.git#bcc8501103f61fd1298cc4b8eaa77d4ea967198d
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildghc-semigroupoids-5.3.7-8.fc40
CreatedSat, 17 Feb 2024 08:03:49 UTC
StartedSat, 17 Feb 2024 08:04:04 UTC
CompletedSat, 17 Feb 2024 09:33:31 UTC
Total time 1:29:41
Task time 1:29:26
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