petersen/idris2

Project ID: 38432

Project Builds

Build ID Package Name Package Version Submitted Build Time Status
2315659 idris2 0.4.0-2.fc34 1 year, 1 month ago 10 minutes succeeded
2315685 idris2 0.4.0-2.fc34 1 year, 1 month ago 10 minutes succeeded
2315729 idris2 0.4.0-2.fc34 1 year, 1 month ago 9 minutes failed
2315175 idris2 0.4.0-1.fc34 1 year, 1 month ago a minute failed
2315181 idris2 0.4.0-1.fc34 1 year, 1 month ago a minute failed
2315205 idris2 0.4.0-1.fc34 1 year, 1 month ago a minute failed
2315208 idris2 0.4.0-1.fc34 1 year, 1 month ago 6 minutes succeeded
2315211 idris2 0.4.0-1.fc34 1 year, 1 month ago 7 minutes succeeded
2315216 idris2 0.4.0-1.fc34 1 year, 1 month ago 7 minutes succeeded
2315220 idris2 0.4.0-1.fc34 1 year, 1 month ago 7 minutes succeeded
2315583 idris2 0.4.0-2.fc34~bootstrap 1 year, 1 month ago 28 seconds canceled
2315584 idris2 0.4.0-2.fc34 1 year, 1 month ago 8 minutes failed
1885815 idris2 0.3.0-1.fc33 1 year, 6 months ago 15 minutes succeeded
1885820 idris2 0.3.0-1.fc33 1 year, 6 months ago 16 minutes succeeded
1885829 idris2 0.3.0-1.fc33 1 year, 6 months ago 16 minutes succeeded
1885843 idris2 0.3.0-1.fc33 1 year, 6 months ago 2 minutes failed
1885841 idris2 0.3.0-1.fc33 1 year, 6 months ago 17 minutes succeeded
2682238 idris2 0.4.0-3.fc35 11 months ago 11 minutes succeeded
2682244 idris2 0.4.0-3.fc35 11 months ago 12 minutes succeeded
2682239 idris2 0.4.0-3.fc35 11 months ago 11 minutes succeeded
2682245 idris2 0.4.0-3.fc35 11 months ago 12 minutes succeeded
2682247 idris2 0.4.0-3.fc35 11 months ago 2 minutes failed
2682660 idris2 0.4.0-3.fc35 11 months ago 2 hours succeeded
2682659 idris2 0.4.0-3.fc35 11 months ago 12 minutes succeeded
2682697 idris2 0.4.0-3.fc35 11 months ago 4 hours succeeded
2682808 idris2 0.4.0-3.fc35 11 months ago 2 hours succeeded
2682897 idris2 0.4.0-3.fc35 11 months ago 2 hours succeeded
2682922 idris2 0.4.0-3.fc35 11 months ago 2 hours succeeded
2683037 idris2 0.4.0-3.fc35 11 months ago 2 hours succeeded
2683082 idris2 0.4.0-3.fc35 11 months ago 2 hours succeeded
2683192 idris2 0.4.0-3.fc35 11 months ago 2 hours succeeded
2683293 idris2 0.4.0-3.fc35 11 months ago 3 minutes failed
2683764 idris2 0.4.0-3.fc35 11 months ago 31 seconds failed
2683763 idris2 0.4.0-3.fc35 11 months ago 28 minutes succeeded
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 has already been built previously.
failed - Build failed. See logs for more details.
canceled - The build has been cancelled manually.
waiting - Task is waiting for something else to finish.