Tue, 26 Nov 2024 06:46:49 UTC | login

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

ID1754044
MethodbuildSRPMFromSCM
Parameters Build tag: f41-build
Url: git+https://src.fedoraproject.org/rpms/idris.git#3027d5aea8c249a033d43a450891a6b7d123c226
Options:
  repo_id = 156466
  scratch = None
State closed
CreatedTue, 06 Aug 2024 09:46:54 UTC
StartedTue, 06 Aug 2024 10:38:43 UTC
CompletedTue, 06 Aug 2024 10:44:29 UTC
Total time 0:57:34
Task time 0:05:46
Owner davidlt
Channel default
Host milkvpioneer01.davidlt.org
Archnoarch
Buildroot /var/lib/mock/f41-build-830299-156466
Parent build (f41, /rpms/idris.git:3027d5aea8c249a033d43a450891a6b7d123c226)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
srpm = tasks/4044/1754044/idris-1.3.4-16.fc41.src.rpm
logs = tasks/4044/1754044/state.log, tasks/4044/1754044/hw_info.log, tasks/4044/1754044/build.log, tasks/4044/1754044/root.log
brootid = 830299
source = url=git+https://src.fedoraproject.org/rpms/idris.git#3027d5aea8c249a033d43a450891a6b7d123c226, source=git+https://src.fedoraproject.org/rpms/idris.git#3027d5aea8c249a033d43a450891a6b7d123c226
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-16.fc41.src.rpm