ID | 328041 |
---|---|
Method | buildSRPMFromSCM |
Parameters |
Build tag: f40-build
Url: git+https://src.fedoraproject.org/rpms/cbmc.git#54983a8e24f9ff20ea7a6a2022c6154b431228ae Options: repo_id = 7360 scratch = None |
State | closed |
Created | Sun, 05 May 2024 01:52:29 CST |
Started | Sun, 05 May 2024 01:53:00 CST |
Completed | Sun, 05 May 2024 02:01:41 CST |
Total time | 0:09:11 |
Task time | 0:08:41 |
Owner | kojiadmin |
Channel | default |
Host | buildvm_riscv64_701.openkoji.iscas.ac.cn |
Arch | noarch |
Buildroot |
/var/lib/mock/f40-build-138806-7360 |
Parent | build (f40, /rpms/cbmc.git:54983a8e24f9ff20ea7a6a2022c6154b431228ae) |
Descendants | |
Waiting? | no |
Awaited? | no |
Priority | 19 |
Weight | 1.00 |
Result |
srpm = tasks/8041/328041/cbmc-5.95.1-4.fc40.src.rpm
logs = tasks/8041/328041/root.log, tasks/8041/328041/state.log, tasks/8041/328041/build.log, tasks/8041/328041/hw_info.log brootid = 138806 source = url=git+https://src.fedoraproject.org/rpms/cbmc.git#54983a8e24f9ff20ea7a6a2022c6154b431228ae, source=git+https://src.fedoraproject.org/rpms/cbmc.git#54983a8e24f9ff20ea7a6a2022c6154b431228ae |
Output |
No outputs reported
|