Package: idris2
General Information
- Dist Git Repo:
- petersen/idris2/idris2
- Source Type:
- No default source
| Build ID | Package Version | Submitted | Build Time | Status |
|---|---|---|---|---|
| 1885815 | 0.3.0-1.fc33 | 2 years ago | 15 minutes | succeeded |
| 1885820 | 0.3.0-1.fc33 | 2 years ago | 16 minutes | succeeded |
| 1885829 | 0.3.0-1.fc33 | 2 years ago | 16 minutes | succeeded |
| 1885841 | 0.3.0-1.fc33 | 2 years ago | 17 minutes | succeeded |
| 1885843 | 0.3.0-1.fc33 | 2 years ago | 2 minutes | failed |
| 2315175 | 0.4.0-1.fc34 | 2 years ago | a minute | failed |
| 2315181 | 0.4.0-1.fc34 | 2 years ago | a minute | failed |
| 2315205 | 0.4.0-1.fc34 | 2 years ago | a minute | failed |
| 2315208 | 0.4.0-1.fc34 | 2 years ago | 6 minutes | succeeded |
| 2315211 | 0.4.0-1.fc34 | 2 years ago | 7 minutes | succeeded |
| 2315216 | 0.4.0-1.fc34 | 2 years ago | 7 minutes | succeeded |
| 2315220 | 0.4.0-1.fc34 | 2 years ago | 7 minutes | succeeded |
| 2315583 | 0.4.0-2.fc34~bootstrap | 2 years ago | 28 seconds | canceled |
| 2315584 | 0.4.0-2.fc34 | 2 years ago | 8 minutes | failed |
| 2315659 | 0.4.0-2.fc34 | 2 years ago | 10 minutes | succeeded |
| 2315685 | 0.4.0-2.fc34 | 2 years ago | 10 minutes | succeeded |
| 2315729 | 0.4.0-2.fc34 | 2 years ago | 9 minutes | failed |
| 2682238 | 0.4.0-3.fc35 | 2 years ago | 11 minutes | succeeded |
| 2682239 | 0.4.0-3.fc35 | 2 years ago | 11 minutes | succeeded |
| 2682244 | 0.4.0-3.fc35 | 2 years ago | 12 minutes | succeeded |
| 2682245 | 0.4.0-3.fc35 | 2 years ago | 12 minutes | succeeded |
| 2682247 | 0.4.0-3.fc35 | 2 years ago | 2 minutes | failed |
| 2682659 | 0.4.0-3.fc35 | 2 years ago | 12 minutes | succeeded |
| 2682660 | 0.4.0-3.fc35 | 2 years ago | 2 hours | succeeded |
| 2682697 | 0.4.0-3.fc35 | 2 years ago | 4 hours | succeeded |
| 2682808 | 0.4.0-3.fc35 | 2 years ago | 2 hours | succeeded |
| 2682897 | 0.4.0-3.fc35 | 2 years ago | 2 hours | succeeded |
| 2682922 | 0.4.0-3.fc35 | 2 years ago | 2 hours | succeeded |
| 2683037 | 0.4.0-3.fc35 | 2 years ago | 2 hours | succeeded |
| 2683082 | 0.4.0-3.fc35 | 2 years ago | 2 hours | succeeded |
| 2683192 | 0.4.0-3.fc35 | 2 years ago | 2 hours | succeeded |
| 2683293 | 0.4.0-3.fc35 | 2 years ago | 3 minutes | failed |
| 2683763 | 0.4.0-3.fc35 | 2 years ago | 28 minutes | succeeded |
| 2683764 | 0.4.0-3.fc35 | 2 years ago | 31 seconds | failed |
| 6318856 | 0.6.0-1 | 3 months ago | 45 seconds | canceled |
| 6318873 | 0.6.0-0.1 | 3 months ago | 12 minutes | failed |
| 6319165 | 0.6.0-0.1 | 3 months ago | 10 minutes | succeeded |
| 6319785 | 0.6.0-0.2 | 3 months ago | 10 minutes | succeeded |
| 6319950 | 0.6.0-0.3 | 3 months ago | 10 minutes | succeeded |
| 6319974 | 0.6.0-0.3 | 3 months ago | 3 minutes | failed |
| 6319979 | 0.6.0-0.3 | 3 months ago | 2 minutes | failed |
Status Badge
- HTML Code:
- Markdown Code: