@fedora-review/fedora-review-2277910-lean4
Project ID: 129977
Project Builds
| Build ID | Package Name | Package Version | Submitted | Build Time | Status |
|---|---|---|---|---|---|
| 7543712 | lean4 | 4.8.0-1 | 6 months ago | an hour | succeeded |
| 7449612 | lean4 | 4.7.0-3 | 7 months ago | 55 minutes | succeeded |
| 7454612 | lean4 | 4.7.0-4 | 7 months ago | an hour | succeeded |
| 7819198 | lean4 | 4.10.0-1 | 4 months ago | an hour | succeeded |
| 7704052 | lean4 | 4.9.0-1 | 5 months ago | an hour | succeeded |
| 8209482 | lean4 | 4.13.0-1 | a month ago | an hour | succeeded |
| 8332728 | lean4 | 4.14.0-1 | 16 days ago | an hour | succeeded |
| 8305794 | lean4 | 4.13.0-4 | 24 days ago | an hour | 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.