petersen/idris2

Project ID: 38432

Project Builds

Build ID Package Name Package Version Submitted Build Time Status
2315659 idris2 0.4.0-2.fc34 3 years ago 10 minutes succeeded
2315685 idris2 0.4.0-2.fc34 3 years ago 10 minutes succeeded
2315729 idris2 0.4.0-2.fc34 3 years ago 9 minutes failed
2315175 idris2 0.4.0-1.fc34 3 years ago a minute failed
2315181 idris2 0.4.0-1.fc34 3 years ago a minute failed
2315205 idris2 0.4.0-1.fc34 3 years ago a minute failed
2315208 idris2 0.4.0-1.fc34 3 years ago 6 minutes succeeded
2315211 idris2 0.4.0-1.fc34 3 years ago 7 minutes succeeded
2315216 idris2 0.4.0-1.fc34 3 years ago 7 minutes succeeded
2315220 idris2 0.4.0-1.fc34 3 years ago 7 minutes succeeded
2315583 idris2 0.4.0-2.fc34~bootstrap 3 years ago 28 seconds canceled
2315584 idris2 0.4.0-2.fc34 3 years ago 8 minutes failed
7664562 idris2 0.7.0-1 a month ago 11 minutes succeeded
7664586 idris2 0.7.0-1 a month ago 12 minutes succeeded
7664663 idris2 0.7.0-1 a month ago 14 minutes succeeded
7664742 idris2 0.7.0-1 a month ago 11 minutes failed
7664871 idris2 0.7.0-1 a month ago 12 minutes failed
7665107 idris2 0.7.0-1 a month ago 9 minutes succeeded
7665192 idris2 0.7.0-1 a month ago 12 minutes succeeded
7665467 idris2 0.7.0-1 a month ago 11 minutes succeeded
7665400 idris2 0.7.0-1 a month ago 10 minutes succeeded
7665330 idris2 0.7.0-1 a month ago 13 minutes succeeded
7665417 idris2 0.7.0-1 a month ago 11 minutes succeeded
7665450 idris2 0.7.0-1 a month ago 17 minutes succeeded
7665501 idris2 0.7.0-1 a month ago 24 minutes failed
7666299 idris2 0.7.0-1 a month ago 5 hours failed
7670274 idris2 0.7.0-1 30 days ago 5 hours 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 11 months ago 45 seconds canceled
6318873 idris2 0.6.0-0.1 11 months ago 12 minutes failed
6318917 - - 11 months ago 2 minutes failed
6319165 idris2 0.6.0-0.1 11 months ago 10 minutes succeeded
6319785 idris2 0.6.0-0.2 11 months ago 10 minutes succeeded
6319950 idris2 0.6.0-0.3 11 months ago 10 minutes succeeded
6319979 idris2 0.6.0-0.3 11 months ago 2 minutes failed
6319974 idris2 0.6.0-0.3 11 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.