Information for task buildSRPMFromSCM (/rpms/yices.git:a796b4116134d8960f2a60dd3fcf983ad0d833ea)
| ID | 9077258 |
|---|---|
| Method | buildSRPMFromSCM |
| Parameters |
Build tag: f45-build
Url: git+https://src.fedoraproject.org/rpms/yices.git#a796b4116134d8960f2a60dd3fcf983ad0d833ea Options: repo_id = 58179 scratch = None |
| State | closed |
| Created | Fri, 28 Aug 2026 07:55:44 CST |
| Started | Fri, 28 Aug 2026 07:57:03 CST |
| Completed | Fri, 28 Aug 2026 09:06:52 CST |
| Total time | 1:11:07 |
| Task time | 1:09:48 |
| Owner | hezhengyu |
| Channel | default |
| Host | buildvm_riscv64_202.openkoji.iscas.ac.cn |
| Arch | noarch |
| Buildroot |
/var/lib/mock/f45-build-4339191-58179 |
| Parent | build (f45, /rpms/yices.git:a796b4116134d8960f2a60dd3fcf983ad0d833ea) |
| Descendants | |
| Waiting? | no |
| Awaited? | no |
| Priority | 19 |
| Weight | 1.00 |
| Result |
srpm = tasks/7258/9077258/yices-2.7.0-10.fc45.src.rpm
logs = tasks/7258/9077258/mock_config.log, tasks/7258/9077258/hw_info.log, tasks/7258/9077258/mock_output.log, tasks/7258/9077258/state.log, tasks/7258/9077258/dnf5.log, tasks/7258/9077258/build.log, tasks/7258/9077258/root.log brootid = 4339191 source = url=git+https://src.fedoraproject.org/rpms/yices.git#a796b4116134d8960f2a60dd3fcf983ad0d833ea, source ...
srpm = tasks/7258/9077258/yices-2.7.0-10.fc45.src.rpm
logs = tasks/7258/9077258/mock_config.log, tasks/7258/9077258/hw_info.log, tasks/7258/9077258/mock_output.log, tasks/7258/9077258/state.log, tasks/7258/9077258/dnf5.log, tasks/7258/9077258/build.log, tasks/7258/9077258/root.log brootid = 4339191 source = url=git+https://src.fedoraproject.org/rpms/yices.git#a796b4116134d8960f2a60dd3fcf983ad0d833ea, source=git+https://src.fedoraproject.org/rpms/yices.git#a796b4116134d8960f2a60dd3fcf983ad0d833ea |
| Output |
build.log
(tail)
checkout.log (tail) dnf5.log (tail) hw_info.log (tail) mock_config.log (tail) mock_output.log (tail) root.log (tail) state.log (tail) yices-2.7.0-10.fc45.src.rpm |