dmalcolm/gcc-15-smoketest
Project ID: 156521
Package: cbmc
General Information
- Dist Git Repo:
- dmalcolm/gcc-15-smoketest/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 |
---|---|---|---|---|
8354637 | 6.4.1-1 | 16 days ago | 36 seconds | failed |
8366043 | 6.4.1-1 | 13 days ago | 35 minutes | succeeded |
Status Badge
- HTML Code:
- Markdown Code: