Sun, 24 Nov 2024 12:10:09 UTC | login

Information for task buildSRPMFromSCM (/rpms/idris.git:e14ad4c372872846d70ed0de2031527012f32359)

ID312030
MethodbuildSRPMFromSCM
Parameters Build tag: f31-build
Url: git+https://src.fedoraproject.org/rpms/idris.git#e14ad4c372872846d70ed0de2031527012f32359
Options:
  repo_id = 34500
  scratch = None
State closed
CreatedSat, 21 Sep 2019 19:12:54 UTC
StartedSat, 21 Sep 2019 19:13:08 UTC
CompletedSat, 21 Sep 2019 19:46:54 UTC
Total time 0:33:59
Task time 0:33:45
Owner davidlt
Channel default
Host fedora-riscv-1.gcc166.osuosl.org
Archnoarch
Buildroot /var/lib/mock/f31-build-115440-34500
Parent build (f31-candidate, /rpms/idris.git:e14ad4c372872846d70ed0de2031527012f32359)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
brootid = 115440
source = url=git+https://src.fedoraproject.org/rpms/idris.git#e14ad4c372872846d70ed0de2031527012f32359, source=git+https://src.fedoraproject.org/rpms/idris.git#e14ad4c372872846d70ed0de2031527012f32359
srpm = tasks/2030/312030/idris-1.3.2-1.fc31.src.rpm
logs = tasks/2030/312030/hw_info.log, tasks/2030/312030/root.log, tasks/2030/312030/state.log, tasks/2030/312030/build.log
Output build.log (tail)
checkout.log (tail)
hw_info.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)
idris-1.3.2-1.fc31.src.rpm