mgrabovs/lean3-community
Project ID: 27903
Project Builds
Build ID | Package Name | Package Version | Submitted | Build Time | Status |
---|---|---|---|---|---|
1424585 | lean3-community | 3.15.0c-2.fc32 | 4 years ago | 32 minutes | succeeded |
1636862 | lean3-community | 3.19.0-1.fc32 | 4 years ago | 8 minutes | failed |
6240820 | lean3-community | 3.19.0-1.fc32 | 1 year, 3 months ago | 5 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.