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

ID8994606
MethodbuildSRPMFromSCM
Parameters Build tag: f44-build
Url: git+https://src.fedoraproject.org/rpms/Agda.git#a3712c8d1db5e750897a80a39c013c3e93f98f3f
Options:
  repo_id = 56846
  scratch = False
State closed
CreatedWed, 06 May 2026 15:16:40 CST
StartedWed, 06 May 2026 15:17:42 CST
CompletedWed, 06 May 2026 15:37:02 CST
Total time 0:20:22
Task time 0:19:20
Owner liuyang
Channel default
Host buildvm_riscv64_900.openkoji.iscas.ac.cn
Archnoarch
Buildroot /var/lib/mock/f44-build-4302218-56846
Parent build (f44, /rpms/Agda.git:a3712c8d1db5e750897a80a39c013c3e93f98f3f)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
srpm = tasks/4606/8994606/Agda-2.8.0-59.fc44.src.rpm
logs = tasks/4606/8994606/root.log, tasks/4606/8994606/build.log, tasks/4606/8994606/mock_config.log, tasks/4606/8994606/hw_info.log, tasks/4606/8994606/dnf5.log, tasks/4606/8994606/mock_output.log, tasks/4606/8994606/state.log
brootid = 4302218
source = url=git+https://src.fedoraproject.org/rpms/Agda.git#a3712c8d1db5e750897a80a39c013c3e93f98f3f, source=g ...
srpm = tasks/4606/8994606/Agda-2.8.0-59.fc44.src.rpm
logs = tasks/4606/8994606/root.log, tasks/4606/8994606/build.log, tasks/4606/8994606/mock_config.log, tasks/4606/8994606/hw_info.log, tasks/4606/8994606/dnf5.log, tasks/4606/8994606/mock_output.log, tasks/4606/8994606/state.log
brootid = 4302218
source = url=git+https://src.fedoraproject.org/rpms/Agda.git#a3712c8d1db5e750897a80a39c013c3e93f98f3f, source=git+https://src.fedoraproject.org/rpms/Agda.git#a3712c8d1db5e750897a80a39c013c3e93f98f3f
Output build.log (tail)
checkout.log (tail)
dnf5.log (tail)
hw_info.log (tail)
mock_config.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)
Agda-2.8.0-59.fc44.src.rpm