jakub/gcc-13-test.checker

Project ID: 76794

Package: Agda

General Information

Default Build Source

Source Type:
Build from DistGit
Committish:
6a1a838a851380839a066b00cb707a2d902ab460
Clone_Url:
https://src.fedoraproject.org/rpms/Agda.git
Build ID Package Version Submitted Build Time Status
5184077 2.6.2.2-37 1 year, 11 months ago 4 hours failed

Status Badge

HTML Code:
Markdown Code: