@fedora-review/fedora-review-2314358-idris2
Project ID: 146580
Project Builds
| Build ID | Package Name | Package Version | Submitted | Build Time | Status |
|---|---|---|---|---|---|
| 9230089 | idris2 | 0.7.0-5 | 9 days ago | 8 minutes | failed |
| 8064021 | idris2 | 0.7.0-1 | 9 months ago | 19 minutes | succeeded |
| 9231063 | idris2 | 0.7.0-7 | 9 days ago | 20 minutes | succeeded |
| 8545411 | idris2 | 0.7.0-2 | 5 months ago | 19 minutes | succeeded |
| 9230198 | idris2 | 0.7.0-6 | 9 days ago | 16 minutes | succeeded |
| 9230048 | idris2 | 0.7.0-4 | 9 days ago | 9 minutes | failed |
| 9229978 | idris2 | 0.7.0-3 | 9 days ago | 8 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.