Mon, 16 Dec 2024 21:43:30 UTC | login

Information for task build (f38, /rpms/ghc-uri-encode.git:492e31adf3e433fc7250fc7c72aad9b6f01121c4)

ID1454867
Methodbuild
Parameters Build target: f38
Src: git+http://fedora.riscv.rocks:3000/rpms/ghc-uri-encode.git#492e31adf3e433fc7250fc7c72aad9b6f01121c4
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildghc-uri-encode-1.5.0.7-10.rvre0.fc38
CreatedSun, 25 Jun 2023 10:26:59 UTC
StartedSun, 25 Jun 2023 10:27:14 UTC
CompletedSun, 25 Jun 2023 11:01:02 UTC
Total time 0:34:02
Task time 0:33:47
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