Information for task buildSRPMFromSCM (/rpms/Agda-stdlib.git:ed74755a2e8bb2f385fc1fa4d12fb2373517a3c0)
| ID | 290382 |
|---|---|
| Method | buildSRPMFromSCM |
| Parameters |
Build tag: f31-build
Url: git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#ed74755a2e8bb2f385fc1fa4d12fb2373517a3c0 Options: scratch = None repo_id = 33602 |
| State | closed |
| Created | Mon, 02 Sep 2019 11:26:05 UTC |
| Started | Mon, 02 Sep 2019 11:26:10 UTC |
| Completed | Mon, 02 Sep 2019 12:00:52 UTC |
| Total time | 0:34:47 |
| Task time | 0:34:41 |
| Owner | davidlt |
| Channel | default |
| Host | fedora-riscv-8.gcc162.osuosl.org |
| Arch | noarch |
| Buildroot |
/var/lib/mock/f31-build-102992-33602 |
| Parent | build (f31-candidate, /rpms/Agda-stdlib.git:ed74755a2e8bb2f385fc1fa4d12fb2373517a3c0) |
| Descendants | |
| Waiting? | no |
| Awaited? | no |
| Priority | 19 |
| Weight | 1.00 |
| Result |
brootid = 102992
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/382/290382/Agda-stdlib-1.1-1.fc31.src.rpm logs = tasks/382/290382/hw_info.log, tasks/382/290382/root.log, tasks/382/290382/state.log, tasks/382/290382/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 |
