lecris/cmake-ninja.checker
Project ID: 172036
Package: cbmc
General Information
- Dist Git Repo:
- lecris/cmake-ninja.checker/cbmc
- Source Type:
- Build from DistGit
- Committish:
- f6c3a091b9503c618f8e6f25fcd363a79aa0d986
- Clone_Url:
- https://src.fedoraproject.org/rpms/cbmc.git
Build ID | Package Version | Submitted | Build Time | Status |
---|---|---|---|---|
8841587 | 6.4.1-1 | 3 days ago | 29 minutes | failed |
Status Badge
- HTML Code:
- Markdown Code: