petersen/idris2

Project ID: 38432

Project Builds

Build ID Package Name Package Version Submitted Build Time Status
2315659 idris2 0.4.0-2.fc34 2 years ago 10 minutes succeeded
2315685 idris2 0.4.0-2.fc34 2 years ago 10 minutes succeeded
2315729 idris2 0.4.0-2.fc34 2 years ago 9 minutes failed
2315175 idris2 0.4.0-1.fc34 2 years ago a minute failed
2315181 idris2 0.4.0-1.fc34 2 years ago a minute failed
2315205 idris2 0.4.0-1.fc34 2 years ago a minute failed
2315208 idris2 0.4.0-1.fc34 2 years ago 6 minutes succeeded
2315211 idris2 0.4.0-1.fc34 2 years ago 7 minutes succeeded
2315216 idris2 0.4.0-1.fc34 2 years ago 7 minutes succeeded
2315220 idris2 0.4.0-1.fc34 2 years ago 7 minutes succeeded
2315583 idris2 0.4.0-2.fc34~bootstrap 2 years ago 28 seconds canceled
2315584 idris2 0.4.0-2.fc34 2 years ago 8 minutes failed
1885815 idris2 0.3.0-1.fc33 3 years ago 15 minutes succeeded
1885820 idris2 0.3.0-1.fc33 3 years ago 16 minutes succeeded
1885829 idris2 0.3.0-1.fc33 3 years ago 16 minutes succeeded
1885843 idris2 0.3.0-1.fc33 3 years ago 2 minutes failed
1885841 idris2 0.3.0-1.fc33 3 years ago 17 minutes succeeded
2682238 idris2 0.4.0-3.fc35 2 years ago 11 minutes succeeded
2682244 idris2 0.4.0-3.fc35 2 years ago 12 minutes succeeded
2682239 idris2 0.4.0-3.fc35 2 years ago 11 minutes succeeded
2682245 idris2 0.4.0-3.fc35 2 years ago 12 minutes succeeded
2682247 idris2 0.4.0-3.fc35 2 years ago 2 minutes failed
2682660 idris2 0.4.0-3.fc35 2 years ago 2 hours succeeded
2682659 idris2 0.4.0-3.fc35 2 years ago 12 minutes succeeded
2682697 idris2 0.4.0-3.fc35 2 years ago 4 hours succeeded
2682808 idris2 0.4.0-3.fc35 2 years ago 2 hours succeeded
2682897 idris2 0.4.0-3.fc35 2 years ago 2 hours succeeded
2682922 idris2 0.4.0-3.fc35 2 years ago 2 hours succeeded
2683037 idris2 0.4.0-3.fc35 2 years ago 2 hours succeeded
2683082 idris2 0.4.0-3.fc35 2 years ago 2 hours succeeded
2683192 idris2 0.4.0-3.fc35 2 years ago 2 hours succeeded
2683293 idris2 0.4.0-3.fc35 2 years ago 3 minutes failed
2683764 idris2 0.4.0-3.fc35 2 years ago 31 seconds failed
2683763 idris2 0.4.0-3.fc35 2 years ago 28 minutes succeeded
6318856 idris2 0.6.0-1 10 months ago 45 seconds canceled
6318873 idris2 0.6.0-0.1 10 months ago 12 minutes failed
6318917 - - 10 months ago 2 minutes failed
6319165 idris2 0.6.0-0.1 10 months ago 10 minutes succeeded
6319785 idris2 0.6.0-0.2 10 months ago 10 minutes succeeded
6319950 idris2 0.6.0-0.3 10 months ago 10 minutes succeeded
6319979 idris2 0.6.0-0.3 10 months ago 2 minutes failed
6319974 idris2 0.6.0-0.3 10 months ago 3 minutes failed
Possible build states importing - Package sources are being imported into Copr DistGit.
pending - Build is waiting in queue for a backend worker.
starting - Backend worker is trying to acquire a builder machine.
running - Build in progress.
succeeded - Successfully built.
forked - Build has been forked from another build.
skipped - This package was skipped, see the reason for each chroot separately.
failed - Build failed. See logs for more details.
canceled - The build has been cancelled manually.
waiting - Task is waiting for something else to finish.