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: