@fedora-review/fedora-review-2314358-idris2
Project ID: 146580
Package: idris2
General Information
- Dist Git Repo:
- @fedora-review/fedora-review-2314358-idris2/idris2
- Source Type:
- No default source
| Build ID | Package Version | Submitted | Build Time | Status |
|---|---|---|---|---|
| 8064021 | 0.7.0-1 | 11 months ago | 19 minutes | succeeded |
| 8545411 | 0.7.0-2 | 7 months ago | 19 minutes | succeeded |
| 9229978 | 0.7.0-3 | a month ago | 8 minutes | failed |
| 9230048 | 0.7.0-4 | a month ago | 9 minutes | failed |
| 9230089 | 0.7.0-5 | a month ago | 8 minutes | failed |
| 9230198 | 0.7.0-6 | a month ago | 16 minutes | succeeded |
| 9231063 | 0.7.0-7 | a month ago | 20 minutes | succeeded |
Status Badge
- HTML Code:
- Markdown Code: