@fedora-review/fedora-review-2277910-lean4
Project ID: 129977
Package: lean4
General Information
- Dist Git Repo:
- @fedora-review/fedora-review-2277910-lean4/lean4
- Source Type:
- No default source
| Build ID | Package Version | Submitted | Build Time | Status |
|---|---|---|---|---|
| 7449612 | 4.7.0-3 | 1 year, 1 month ago | 55 minutes | succeeded |
| 7454612 | 4.7.0-4 | 1 year, 1 month ago | an hour | succeeded |
| 7543712 | 4.8.0-1 | 1 year, 27 days ago | an hour | succeeded |
| 7704052 | 4.9.0-1 | a year ago | an hour | succeeded |
| 7819198 | 4.10.0-1 | 10 months ago | an hour | succeeded |
| 8209482 | 4.13.0-1 | 7 months ago | an hour | succeeded |
| 8305794 | 4.13.0-4 | 7 months ago | an hour | succeeded |
| 8332728 | 4.14.0-1 | 6 months ago | an hour | succeeded |
| 8492176 | 4.15.0-1 | 5 months ago | an hour | succeeded |
| 8606198 | 4.16.0-1 | 4 months ago | an hour | failed |
| 8734417 | 4.17.0-1 | 3 months ago | an hour | succeeded |
| 9156407 | 4.20.0-3 | 21 days ago | 2 hours | succeeded |
| 9160520 | 4.20.0-4 | 19 days ago | 2 hours | succeeded |
Status Badge
- HTML Code:
- Markdown Code: