ID | 1714725 |
---|---|
Method | tagBuild |
Parameters |
Build: Agda-2.6.4.3-48.fc41
Destination tag: f41 Force: False Ignore success: True |
State | closed |
Created | Sat, 08 Jun 2024 13:54:34 CST |
Started | Sat, 08 Jun 2024 13:55:07 CST |
Completed | Sat, 08 Jun 2024 13:55:08 CST |
Total time | 0:00:34 |
Task time | 0:00:01 |
Owner | kojiadmin |
Channel | default |
Host | buildvm_riscv64_303.openkoji.iscas.ac.cn |
Arch | noarch |
Parent | build (f41, /rpms/Agda.git:1a1cd5d1e65e81889b3be3c5460a14bbdf9979d9) |
Descendants | |
Waiting? | no |
Awaited? | no |
Priority | 19 |
Weight | 1.00 |
Result |
|
Output |
No outputs reported
|