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

ID2693665
MethodbuildSRPMFromSCM
Parameters Build tag: f41-build
Url: git+https://src.fedoraproject.org/rpms/coq.git#c976a3ae2593f629138f58cec1e1f53bd6a82e15
Options:
  repo_id = 23344
  scratch = None
State closed
CreatedTue, 02 Jul 2024 08:51:55 CST
StartedTue, 02 Jul 2024 08:52:48 CST
CompletedTue, 02 Jul 2024 09:02:03 CST
Total time 0:10:07
Task time 0:09:14
Owner kojiadmin
Channel default
Host buildvm_riscv64_1203.openkoji.iscas.ac.cn
Archnoarch
Buildroot /var/lib/mock/f41-build-1290513-23344
Parent build (f41, /rpms/coq.git:c976a3ae2593f629138f58cec1e1f53bd6a82e15)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
srpm = tasks/3665/2693665/coq-8.18.0-7.fc41.src.rpm
logs = tasks/3665/2693665/state.log, tasks/3665/2693665/build.log, tasks/3665/2693665/root.log, tasks/3665/2693665/hw_info.log
brootid = 1290513
source = url=git+https://src.fedoraproject.org/rpms/coq.git#c976a3ae2593f629138f58cec1e1f53bd6a82e15, source=git+https://src.fedoraproject.org/rpms/coq.git#c976a3ae2593f629138f58cec1e1f53bd6a82e15
Output build.log (tail)
checkout.log (tail)
hw_info.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)
coq-8.18.0-7.fc41.src.rpm