Tue, 02 Jun 2020 02:43:08 UTC

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

ID42939454
MethodbuildSRPMFromSCM
Parameters SCM URL: git+https://src.fedoraproject.org/rpms/coq.git#c41636e6bfe89876ead106c8155ef4d403578416
Build Tag: f33-build
Options:
  scratch = 
  repo_id = 1423342
State closed
CreatedWed, 01 Apr 2020 00:57:58 UTC
StartedWed, 01 Apr 2020 00:57:59 UTC
CompletedWed, 01 Apr 2020 00:59:20 UTC
Total time 0:01:22
Task time 0:01:21
Owner jjames
Channel default
Host buildvm-armv7-14.arm.fedoraproject.org
Archnoarch
Buildroot /var/lib/mock/f33-build-20084640-1423342
Parent build (rawhide, /rpms/coq.git:c41636e6bfe89876ead106c8155ef4d403578416)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
source = url=git+https://src.fedoraproject.org/rpms/coq.git#c41636e6bfe89876ead106c8155ef4d403578416, source=git+https://src.fedoraproject.org/rpms/coq.git#c41636e6bfe89876ead106c8155ef4d403578416
brootid = 20084640
srpm = tasks/9454/42939454/coq-8.11.0-2.fc33.src.rpm
logs = tasks/9454/42939454/hw_info.log, tasks/9454/42939454/state.log, tasks/9454/42939454/build.log, tasks/9454/42939454/root.log
Output