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 | 8 months ago | 45 seconds | canceled |
| 6318873 | idris2 | 0.6.0-0.1 | 8 months ago | 12 minutes | failed |
| 6318917 | - | - | 8 months ago | 2 minutes | failed |
| 6319165 | idris2 | 0.6.0-0.1 | 8 months ago | 10 minutes | succeeded |
| 6319785 | idris2 | 0.6.0-0.2 | 8 months ago | 10 minutes | succeeded |
| 6319950 | idris2 | 0.6.0-0.3 | 8 months ago | 10 minutes | succeeded |
| 6319979 | idris2 | 0.6.0-0.3 | 8 months ago | 2 minutes | failed |
| 6319974 | idris2 | 0.6.0-0.3 | 8 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.