Thu, 29 Aug 2024 04:07:43 UTC | login

Information for task buildSRPMFromSCM (/rpms/why3.git:1afbf9d426087420293c17044c9e1db782ecaee2)

ID381874
MethodbuildSRPMFromSCM
Parameters Build tag: f33-build
Url: git+https://src.fedoraproject.org/rpms/why3.git#1afbf9d426087420293c17044c9e1db782ecaee2
Options:
  repo_id = 43037
  scratch = None
State closed
CreatedSun, 29 Mar 2020 12:15:20 UTC
StartedSun, 29 Mar 2020 12:15:27 UTC
CompletedSun, 29 Mar 2020 12:28:45 UTC
Total time 0:13:25
Task time 0:13:18
Owner davidlt
Channel default
Host fedora-riscv-8.gcc166.osuosl.org
Archnoarch
Buildroot /var/lib/mock/f33-build-146401-43037
Parent build (f33, /rpms/why3.git:1afbf9d426087420293c17044c9e1db782ecaee2)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
srpm = tasks/1874/381874/why3-1.3.1-2.fc33.src.rpm
logs = tasks/1874/381874/root.log, tasks/1874/381874/build.log, tasks/1874/381874/hw_info.log, tasks/1874/381874/state.log
brootid = 146401
source = url=git+https://src.fedoraproject.org/rpms/why3.git#1afbf9d426087420293c17044c9e1db782ecaee2, source=git+https://src.fedoraproject.org/rpms/why3.git#1afbf9d426087420293c17044c9e1db782ecaee2
Output build.log (tail)
checkout.log (tail)
hw_info.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)
why3-1.3.1-2.fc33.src.rpm