Information for task buildSRPMFromSCM (/rpms/cvc5.git:0b1723ceb6f60f8e220059237410894f792cafa3)

ID182574
MethodbuildSRPMFromSCM
Parameters Build tag: f40-build
Url: git+https://src.fedoraproject.org/rpms/cvc5.git#0b1723ceb6f60f8e220059237410894f792cafa3
Options:
  repo_id = 4895
  scratch = None
State closed
CreatedFri, 03 May 2024 15:02:13 CST
StartedFri, 03 May 2024 15:02:39 CST
CompletedFri, 03 May 2024 15:10:24 CST
Total time 0:08:11
Task time 0:07:45
Owner kojiadmin
Channel default
Host buildvm_riscv64_1302.openkoji.iscas.ac.cn
Archnoarch
Buildroot /var/lib/mock/f40-build-76303-4895
Parent build (f40, /rpms/cvc5.git:0b1723ceb6f60f8e220059237410894f792cafa3)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
srpm = tasks/2574/182574/cvc5-1.1.2-2.fc40.src.rpm
logs = tasks/2574/182574/state.log, tasks/2574/182574/root.log, tasks/2574/182574/hw_info.log, tasks/2574/182574/build.log
brootid = 76303
source = url=git+https://src.fedoraproject.org/rpms/cvc5.git#0b1723ceb6f60f8e220059237410894f792cafa3, source=git+https://src.fedoraproject.org/rpms/cvc5.git#0b1723ceb6f60f8e220059237410894f792cafa3
Output
No outputs reported