Information for task buildSRPMFromSCM (/rpms/Agda-stdlib.git:98c46c32fa0eabe71737721e377ef91bea6c46a4)

ID180979
MethodbuildSRPMFromSCM
Parameters Build tag: f40-build
Url: git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#98c46c32fa0eabe71737721e377ef91bea6c46a4
Options:
  repo_id = 4877
  scratch = None
State closed
CreatedFri, 03 May 2024 14:37:02 CST
StartedFri, 03 May 2024 14:38:07 CST
CompletedFri, 03 May 2024 14:52:40 CST
Total time 0:15:37
Task time 0:14:33
Owner kojiadmin
Channel default
Host buildvm_riscv64_401.openkoji.iscas.ac.cn
Archnoarch
Buildroot /var/lib/mock/f40-build-75482-4877
Parent build (f40, /rpms/Agda-stdlib.git:98c46c32fa0eabe71737721e377ef91bea6c46a4)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
srpm = tasks/979/180979/Agda-stdlib-1.7.3-5.fc40.src.rpm
logs = tasks/979/180979/build.log, tasks/979/180979/root.log, tasks/979/180979/hw_info.log, tasks/979/180979/state.log
brootid = 75482
source = url=git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#98c46c32fa0eabe71737721e377ef91bea6c46a4, source=git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#98c46c32fa0eabe71737721e377ef91bea6c46a4
Output
No outputs reported