warthog9/epel9-missing-pieces
Project ID: 64353
Package: coq
General Information
- Dist Git Repo:
- warthog9/epel9-missing-pieces/coq
- Webhook rebuild:
- Yes
- Source Type:
- Build from an SCM repository
- SCM type:
- git
- Clone URL:
- https://src.fedoraproject.org/rpms/coq
- Committish:
- rawhide
- Build SRPM with:
- rpkg
| Build ID | Package Version | Submitted | Build Time | Status |
|---|---|---|---|---|
| 6106126 | 8.17.0-1 | 1 year, 6 months ago | 4 minutes | failed |
| 6160169 | 8.17.1-1 | 1 year, 5 months ago | 5 minutes | failed |
| 6160950 | 8.17.1-1 | 1 year, 5 months ago | 5 minutes | failed |
| 6162749 | 8.17.1-2 | 1 year, 5 months ago | 6 minutes | failed |
| 6166605 | 8.17.1-3 | 1 year, 5 months ago | 5 minutes | failed |
| 6166780 | 8.17.1-3 | 1 year, 5 months ago | 5 minutes | failed |
| 6182816 | 8.17.1-3 | 1 year, 5 months ago | an hour | failed |
| 6186660 | 8.17.1-4 | 1 year, 5 months ago | 4 minutes | failed |
| 6217773 | 8.17.1-5 | 1 year, 4 months ago | 5 minutes | failed |
| 6491330 | 8.17.1-5 | 1 year, 2 months ago | 5 minutes | failed |
| 6493238 | 8.17.1-6 | 1 year, 2 months ago | 4 minutes | failed |
| 6745025 | 8.17.1-7 | 1 year, 13 days ago | 3 hours | failed |
| 6767127 | 8.17.1-8 | 1 year, 7 days ago | 5 minutes | failed |
| 6849674 | 8.18.0-1 | 11 months ago | 5 hours | failed |
| 6922099 | 8.18.0-2 | 11 months ago | 53 minutes | failed |
| 6944608 | 8.18.0-3 | 11 months ago | 6 minutes | failed |
| 6982722 | 8.18.0-4 | 10 months ago | 3 minutes | failed |
| 7482459 | 8.18.0-4 | 7 months ago | 19 minutes | failed |
| 7505537 | 8.18.0-5 | 6 months ago | 3 minutes | failed |
| 7628353 | 8.18.0-6 | 6 months ago | 2 minutes | failed |
| 7628358 | 8.18.0-7 | 6 months ago | 2 minutes | failed |
| 7725992 | 8.18.0-8 | 5 months ago | 5 minutes | failed |
| 7738483 | 8.18.0-9 | 5 months ago | 8 minutes | failed |
| 7743573 | 8.18.0-10 | 5 months ago | 4 minutes | failed |
Status Badge
- HTML Code:
- Markdown Code: