jakub/gcc-13-test.checker

Project ID: 76794

Package: frama-c

General Information

Default Build Source

Source Type:
Build from DistGit
Committish:
0ad483798925f41ed61d60161abcf9bd013b3e9a
Clone_Url:
https://src.fedoraproject.org/rpms/frama-c.git
Build ID Package Version Submitted Build Time Status
5184462 26.0-2 2 years ago 2 hours failed

Status Badge

HTML Code:
Markdown Code: