Sun, 16 Feb 2025 21:56:22 UTC | login

Information for task buildSRPMFromSCM (/rpms/Agda.git:6a1a838a851380839a066b00cb707a2d902ab460)

ID1301608
MethodbuildSRPMFromSCM
Parameters Build tag: f37-build
Url: git+https://src.fedoraproject.org/rpms/Agda.git#6a1a838a851380839a066b00cb707a2d902ab460
Options:
  repo_id = 75878
  scratch = None
State closed
CreatedSat, 12 Nov 2022 13:32:28 UTC
StartedSat, 12 Nov 2022 13:38:36 UTC
CompletedSat, 12 Nov 2022 13:44:09 UTC
Total time 0:11:41
Task time 0:05:32
Owner davidlt
Channel default
Host unmatchedbuild02.davidlt.org
Archnoarch
Buildroot /var/lib/mock/f37-build-674316-75878
Parent build (f37, /rpms/Agda.git:6a1a838a851380839a066b00cb707a2d902ab460)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
srpm = tasks/1608/1301608/Agda-2.6.2.2-37.fc37.src.rpm
logs = tasks/1608/1301608/hw_info.log, tasks/1608/1301608/state.log, tasks/1608/1301608/build.log, tasks/1608/1301608/root.log
brootid = 674316
source = url=git+https://src.fedoraproject.org/rpms/Agda.git#6a1a838a851380839a066b00cb707a2d902ab460, source=git+https://src.fedoraproject.org/rpms/Agda.git#6a1a838a851380839a066b00cb707a2d902ab460
Output build.log (tail)
checkout.log (tail)
hw_info.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)
Agda-2.6.2.2-37.fc37.src.rpm