Information for task buildSRPMFromSCM (/rpms/Agda.git:90aee6980bd1b7cbb0f2c4b781574b66b2e20f46)

ID55062
MethodbuildSRPMFromSCM
Parameters Build tag: f41-build
Url: git+https://src.fedoraproject.org/rpms/Agda.git#90aee6980bd1b7cbb0f2c4b781574b66b2e20f46
Options:
  repo_id = 935
  scratch = None
State closed
CreatedTue, 30 Apr 2024 12:34:43 CST
StartedTue, 30 Apr 2024 12:35:45 CST
CompletedTue, 30 Apr 2024 12:41:35 CST
Total time 0:06:51
Task time 0:05:49
Owner kojiadmin
Channel default
Host buildvm_riscv64_303.openkoji.iscas.ac.cn
Archnoarch
Buildroot /var/lib/mock/f41-build-24241-935
Parent build (f41, /rpms/Agda.git:90aee6980bd1b7cbb0f2c4b781574b66b2e20f46)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
srpm = tasks/5062/55062/Agda-2.6.4.1-47.fc41.src.rpm
logs = tasks/5062/55062/state.log, tasks/5062/55062/hw_info.log, tasks/5062/55062/root.log, tasks/5062/55062/build.log
brootid = 24241
source = url=git+https://src.fedoraproject.org/rpms/Agda.git#90aee6980bd1b7cbb0f2c4b781574b66b2e20f46, source=git+https://src.fedoraproject.org/rpms/Agda.git#90aee6980bd1b7cbb0f2c4b781574b66b2e20f46
Output
No outputs reported