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

ID8897418
MethodbuildSRPMFromSCM
Parameters Build tag: f44-build
Url: git+https://src.fedoraproject.org/rpms/Agda.git#b8b619ce18073044d399fad95946425932e4d227
Options:
  repo_id = 56565
  scratch = False
State closed
CreatedSun, 26 Apr 2026 17:27:41 CST
StartedSun, 26 Apr 2026 17:28:26 CST
CompletedSun, 26 Apr 2026 17:52:36 CST
Total time 0:24:55
Task time 0:24:09
Owner liuyang
Channel default
Host buildvm_riscv64_1201.openkoji.iscas.ac.cn
Archnoarch
Buildroot /var/lib/mock/f44-build-4275717-56565
Parent build (f44, /rpms/Agda.git:b8b619ce18073044d399fad95946425932e4d227)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
srpm = tasks/7418/8897418/Agda-2.8.0-58.fc44.src.rpm
logs = tasks/7418/8897418/build.log, tasks/7418/8897418/dnf5.log, tasks/7418/8897418/mock_output.log, tasks/7418/8897418/root.log, tasks/7418/8897418/mock_config.log, tasks/7418/8897418/state.log, tasks/7418/8897418/hw_info.log
brootid = 4275717
source = url=git+https://src.fedoraproject.org/rpms/Agda.git#b8b619ce18073044d399fad95946425932e4d227, source=g ...
srpm = tasks/7418/8897418/Agda-2.8.0-58.fc44.src.rpm
logs = tasks/7418/8897418/build.log, tasks/7418/8897418/dnf5.log, tasks/7418/8897418/mock_output.log, tasks/7418/8897418/root.log, tasks/7418/8897418/mock_config.log, tasks/7418/8897418/state.log, tasks/7418/8897418/hw_info.log
brootid = 4275717
source = url=git+https://src.fedoraproject.org/rpms/Agda.git#b8b619ce18073044d399fad95946425932e4d227, source=git+https://src.fedoraproject.org/rpms/Agda.git#b8b619ce18073044d399fad95946425932e4d227
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-58.fc44.src.rpm