Information for task buildSRPMFromSCM (/rpms/coq.git:e50af8041a96561e31569f80e6cf224517f32fe9)

ID1336315
MethodbuildSRPMFromSCM
Parameters Build tag: f41-build
Url: git+https://src.fedoraproject.org/rpms/coq.git#e50af8041a96561e31569f80e6cf224517f32fe9
Options:
  repo_id = 12034
  scratch = None
State closed
CreatedTue, 28 May 2024 10:25:09 CST
StartedTue, 28 May 2024 10:26:00 CST
CompletedTue, 28 May 2024 10:32:02 CST
Total time 0:06:53
Task time 0:06:02
Owner kojiadmin
Channel default
Host buildvm_riscv64_1501.openkoji.iscas.ac.cn
Archnoarch
Buildroot /var/lib/mock/f41-build-636842-12034
Parent build (f41, /rpms/coq.git:e50af8041a96561e31569f80e6cf224517f32fe9)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
srpm = tasks/6315/1336315/coq-8.18.0-4.fc41.src.rpm
logs = tasks/6315/1336315/hw_info.log, tasks/6315/1336315/build.log, tasks/6315/1336315/root.log, tasks/6315/1336315/state.log
brootid = 636842
source = url=git+https://src.fedoraproject.org/rpms/coq.git#e50af8041a96561e31569f80e6cf224517f32fe9, source=git+https://src.fedoraproject.org/rpms/coq.git#e50af8041a96561e31569f80e6cf224517f32fe9
Output
No outputs reported