Sat, 15 Jun 2024 17:54:25 UTC | login

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

ID1435363
MethodbuildSRPMFromSCM
Parameters Build tag: f38-build
Url: git+https://src.fedoraproject.org/rpms/idris.git#e69608af843dd117f21e7ba6ced2e5a2b5a70102
Options:
  repo_id = 97265
  scratch = None
State closed
CreatedThu, 01 Jun 2023 09:32:17 UTC
StartedThu, 01 Jun 2023 16:09:03 UTC
CompletedThu, 01 Jun 2023 16:23:12 UTC
Total time 6:50:54
Task time 0:14:08
Owner davidlt
Channel default
Host unmatchedbuild12.davidlt.org
Archnoarch
Buildroot /var/lib/mock/f38-build-719739-97265
Parent build (f38, /rpms/idris.git:e69608af843dd117f21e7ba6ced2e5a2b5a70102)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
srpm = tasks/5363/1435363/idris-1.3.4-6.fc38.src.rpm
logs = tasks/5363/1435363/hw_info.log, tasks/5363/1435363/state.log, tasks/5363/1435363/build.log, tasks/5363/1435363/root.log
brootid = 719739
source = url=git+https://src.fedoraproject.org/rpms/idris.git#e69608af843dd117f21e7ba6ced2e5a2b5a70102, source=git+https://src.fedoraproject.org/rpms/idris.git#e69608af843dd117f21e7ba6ced2e5a2b5a70102
Output build.log (tail)
checkout.log (tail)
hw_info.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)
idris-1.3.4-6.fc38.src.rpm