petersen/idris2

Project ID: 38432

Package: idris2

General Information

Default Build Source

Source Type:
No default source
Build ID Package Version Submitted Build Time Status
1885815 0.3.0-1.fc33 1 year, 8 months ago 15 minutes succeeded
1885820 0.3.0-1.fc33 1 year, 8 months ago 16 minutes succeeded
1885829 0.3.0-1.fc33 1 year, 8 months ago 16 minutes succeeded
1885841 0.3.0-1.fc33 1 year, 8 months ago 17 minutes succeeded
1885843 0.3.0-1.fc33 1 year, 8 months ago 2 minutes failed
2315175 0.4.0-1.fc34 1 year, 2 months ago a minute failed
2315181 0.4.0-1.fc34 1 year, 2 months ago a minute failed
2315205 0.4.0-1.fc34 1 year, 2 months ago a minute failed
2315208 0.4.0-1.fc34 1 year, 2 months ago 6 minutes succeeded
2315211 0.4.0-1.fc34 1 year, 2 months ago 7 minutes succeeded
2315216 0.4.0-1.fc34 1 year, 2 months ago 7 minutes succeeded
2315220 0.4.0-1.fc34 1 year, 2 months ago 7 minutes succeeded
2315583 0.4.0-2.fc34~bootstrap 1 year, 2 months ago 28 seconds canceled
2315584 0.4.0-2.fc34 1 year, 2 months ago 8 minutes failed
2315659 0.4.0-2.fc34 1 year, 2 months ago 10 minutes succeeded
2315685 0.4.0-2.fc34 1 year, 2 months ago 10 minutes succeeded
2315729 0.4.0-2.fc34 1 year, 2 months ago 9 minutes failed
2682238 0.4.0-3.fc35 1 year, 25 days ago 11 minutes succeeded
2682239 0.4.0-3.fc35 1 year, 25 days ago 11 minutes succeeded
2682244 0.4.0-3.fc35 1 year, 25 days ago 12 minutes succeeded
2682245 0.4.0-3.fc35 1 year, 25 days ago 12 minutes succeeded
2682247 0.4.0-3.fc35 1 year, 25 days ago 2 minutes failed
2682659 0.4.0-3.fc35 1 year, 24 days ago 12 minutes succeeded
2682660 0.4.0-3.fc35 1 year, 24 days ago 2 hours succeeded
2682697 0.4.0-3.fc35 1 year, 24 days ago 4 hours succeeded
2682808 0.4.0-3.fc35 1 year, 24 days ago 2 hours succeeded
2682897 0.4.0-3.fc35 1 year, 24 days ago 2 hours succeeded
2682922 0.4.0-3.fc35 1 year, 24 days ago 2 hours succeeded
2683037 0.4.0-3.fc35 1 year, 24 days ago 2 hours succeeded
2683082 0.4.0-3.fc35 1 year, 24 days ago 2 hours succeeded
2683192 0.4.0-3.fc35 1 year, 23 days ago 2 hours succeeded
2683293 0.4.0-3.fc35 1 year, 23 days ago 3 minutes failed
2683763 0.4.0-3.fc35 1 year, 23 days ago 28 minutes succeeded
2683764 0.4.0-3.fc35 1 year, 23 days ago 31 seconds failed

Status Badge

HTML Code:
Markdown Code: