Information for task build (f41, /rpms/ghc-what4.git:ef40a1a22e7e8c573925d3150257cc6314479f17)
ID | 1823272 |
---|---|
Method | build |
Parameters |
Build target: f41
Src: git+https://src.fedoraproject.org/rpms/ghc-what4.git#ef40a1a22e7e8c573925d3150257cc6314479f17 Options: wait_builds = custom_user_metadata = |
State | free |
Created | Thu, 24 Oct 2024 07:12:42 UTC |
Total time | 2:12:27 |
Owner | davidlt |
Channel | default |
Host | |
Arch | noarch |
Parent | |
Descendants | |
Waiting? | no |
Awaited? | no |
Priority | 20 |
Weight | 1.00 |
Result |
|
Output |