jakub/gcc-13-test.checker

Project ID: 76794

Package: cvc4

General Information

Default Build Source

Source Type:
Build from DistGit
Committish:
95b2c72a8042a492c4f13c537a8f4af24a2eede5
Clone_Url:
https://src.fedoraproject.org/rpms/cvc4.git
Build ID Package Version Submitted Build Time Status
5184327 1.8-14 1 year, 11 months ago 2 hours failed

Status Badge

HTML Code:
Markdown Code: