Information for task buildSRPMFromSCM (/rpms/Agda-stdlib.git:ed74755a2e8bb2f385fc1fa4d12fb2373517a3c0)
ID | 296435 |
---|---|
Method | buildSRPMFromSCM |
Parameters |
Build tag: f31-build
Url: git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#ed74755a2e8bb2f385fc1fa4d12fb2373517a3c0 Options: scratch = None repo_id = 33708 |
State | closed |
Created | Fri, 20 Sep 2019 12:22:44 UTC |
Started | Fri, 20 Sep 2019 12:22:59 UTC |
Completed | Fri, 20 Sep 2019 12:56:09 UTC |
Total time | 0:33:25 |
Task time | 0:33:09 |
Owner | davidlt |
Channel | default |
Host | fedora-riscv-10.gcc146.osuosl.org |
Arch | noarch |
Buildroot |
/var/lib/mock/f31-build-107477-33708 |
Parent | build (f31-candidate, /rpms/Agda-stdlib.git:ed74755a2e8bb2f385fc1fa4d12fb2373517a3c0) |
Descendants | |
Waiting? | no |
Awaited? | no |
Priority | 19 |
Weight | 1.00 |
Result |
brootid = 107477
source = url=git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#ed74755a2e8bb2f385fc1fa4d12fb2373517a3c0, source=git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#ed74755a2e8bb2f385fc1fa4d12fb2373517a3c0 srpm = tasks/6435/296435/Agda-stdlib-1.1-1.fc31.src.rpm logs = tasks/6435/296435/hw_info.log, tasks/6435/296435/root.log, tasks/6435/296435/state.log, tasks/6435/296435/build.log |
Output |
build.log
(tail)
checkout.log (tail) hw_info.log (tail) mock_output.log (tail) root.log (tail) state.log (tail) Agda-stdlib-1.1-1.fc31.src.rpm |