Project Builds
| Build ID | Package Name | Package Version | Submitted | Build Time | Status |
|---|---|---|---|---|---|
| 7390111 | lean4 | 4.7.0-1 | 19 days ago | an hour | succeeded |
| 7396323 | lean4 | 4.7.0-2 | 17 days ago | an hour | succeeded |
| 7396056 | lean4 | 4.7.0-2 | 18 days ago | 43 minutes | succeeded |
| 7396104 | lean4 | 4.7.0-2 | 18 days ago | 44 minutes | succeeded |
| 7396137 | lean4 | 4.7.0-2 | 18 days ago | 43 minutes | succeeded |
| 7396167 | lean4 | 4.7.0-2 | 17 days ago | 43 minutes | succeeded |
| 7396239 | lean4 | 4.7.0-2 | 17 days ago | 36 minutes | succeeded |
| 7452899 | lean4 | 4.7.0-4 | 2 days ago | 45 minutes | succeeded |
| 7452985 | lean4 | 4.7.0-4 | 2 days ago | 45 minutes | succeeded |
| 7453057 | lean4 | 4.7.0-4 | 2 days ago | an hour | succeeded |
| 7453152 | lean4 | 4.7.0-4 | 2 days ago | 44 minutes | succeeded |
| 7453470 | lean4 | 4.7.0-4 | 2 days ago | 36 minutes | succeeded |
| 7454031 | lean4 | 4.7.0-4 | 2 days ago | an hour | succeeded |
| 7387915 | lean4 | 4.7.0-1 | 20 days ago | 44 minutes | succeeded |
| 7387961 | lean4 | 4.7.0-1 | 20 days ago | 44 minutes | succeeded |
| 7388057 | lean4 | 4.7.0-1 | 19 days ago | 44 minutes | succeeded |
| 7388218 | lean4 | 4.7.0-1 | 19 days ago | 39 minutes | succeeded |
| 7387799 | lean4 | 4.7.0-1 | 20 days ago | 45 minutes | succeeded |
| 6757412 | lean4 | 4.3.0-1 | 5 months ago | 24 minutes | succeeded |
| 6757458 | lean4 | 4.3.0-1 | 5 months ago | 38 minutes | succeeded |
| 6756681 | lean4 | 4.3.0-1 | 5 months ago | an hour | succeeded |
| 6756665 | lean4 | 4.3.0-1 | 5 months ago | a minute | failed |
| 6757228 | lean4 | 4.3.0-1 | 5 months ago | 43 minutes | succeeded |
| 6757539 | lean4 | 4.3.0-1 | 5 months ago | 34 minutes | succeeded |
| 6757617 | lean4 | 4.3.0-1 | 5 months ago | 26 minutes | succeeded |
| 6757687 | lean4 | 4.3.0-1 | 5 months ago | 26 minutes | failed |
| 6758492 | lean4 | 4.3.0-1 | 5 months ago | 38 minutes | succeeded |
| 6758517 | lean4 | 4.3.0-1 | 5 months ago | 36 minutes | succeeded |
| 6758643 | lean4 | 4.3.0-1 | 5 months ago | 26 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 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.