Tue, 26 May 2020 18:50:58 UTC

Information for task buildSRPMFromSCM (/rpms/coq.git:d12009dcce10c82bcd4b3d5cf3150ca1ddc648fc)

ID42810503
MethodbuildSRPMFromSCM
Parameters SCM URL: git+https://src.fedoraproject.org/rpms/coq.git#d12009dcce10c82bcd4b3d5cf3150ca1ddc648fc
Build Tag: f33-build
Options:
  scratch = 
  repo_id = 1419257
State closed
CreatedFri, 27 Mar 2020 23:29:53 UTC
StartedFri, 27 Mar 2020 23:29:53 UTC
CompletedFri, 27 Mar 2020 23:30:33 UTC
Total time 0:00:40
Task time 0:00:40
Owner jjames
Channel default
Host buildvm-12.phx2.fedoraproject.org
Archnoarch
Buildroot /var/lib/mock/f33-build-20015431-1419257
Parent build (rawhide, /rpms/coq.git:d12009dcce10c82bcd4b3d5cf3150ca1ddc648fc)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
source = url=git+https://src.fedoraproject.org/rpms/coq.git#d12009dcce10c82bcd4b3d5cf3150ca1ddc648fc, source=git+https://src.fedoraproject.org/rpms/coq.git#d12009dcce10c82bcd4b3d5cf3150ca1ddc648fc
brootid = 20015431
srpm = tasks/503/42810503/coq-8.11.0-2.fc33.src.rpm
logs = tasks/503/42810503/hw_info.log, tasks/503/42810503/state.log, tasks/503/42810503/build.log, tasks/503/42810503/root.log
Output