Information for task buildArch (Agda-2.6.3-2.oc9.src.rpm, aarch64)
ID | 588555 |
---|---|
Method | buildArch |
Parameters |
Arch: aarch64
Build tag: dist-oc9-epol-build Keep srpm: False Pkg: tasks/7836/587836/Agda-2.6.3-2.oc9.src.rpm Options: repo_id = 80076 |
State | canceled |
Created | Mon, 28 Jul 2025 11:46:11 CST |
Completed | Mon, 28 Jul 2025 11:53:42 CST |
Total time | 0:07:30 |
Owner | bbrucezhang |
Channel | default |
Host | |
Arch | aarch64 |
Parent | build (dist-oc9-epol, /opencloudos-stream/Agda.git:.:origin/master) |
Descendants | |
Waiting? | no |
Awaited? | yes |
Priority | 19 |
Weight | 1.00 |
Result |
|
Output |
No outputs reported
|