Project Builds
| Build ID | Package Name | Package Version | Submitted | Build Time | Status |
|---|---|---|---|---|---|
| 7390111 | lean4 | 4.7.0-1 | 9 months ago | an hour | succeeded |
| 7396323 | lean4 | 4.7.0-2 | 9 months ago | an hour | succeeded |
| 7396056 | lean4 | 4.7.0-2 | 9 months ago | 43 minutes | succeeded |
| 7396104 | lean4 | 4.7.0-2 | 9 months ago | 44 minutes | succeeded |
| 7396137 | lean4 | 4.7.0-2 | 9 months ago | 43 minutes | succeeded |
| 7396167 | lean4 | 4.7.0-2 | 9 months ago | 43 minutes | succeeded |
| 7396239 | lean4 | 4.7.0-2 | 9 months ago | 36 minutes | succeeded |
| 7543003 | lean4 | 4.8.0-1 | 8 months ago | 32 minutes | succeeded |
| 7542866 | lean4 | 4.8.0-1 | 8 months ago | 47 minutes | succeeded |
| 7542767 | lean4 | 4.8.0-1 | 8 months ago | 47 minutes | succeeded |
| 7543042 | lean4 | 4.8.0-1 | 8 months ago | 38 minutes | succeeded |
| 7543231 | lean4 | 4.8.0-1 | 8 months ago | an hour | succeeded |
| 8302268 | lean4 | 4.13.0-3 | 2 months ago | an hour | succeeded |
| 8305733 | lean4 | 4.13.0-4 | 2 months ago | 37 minutes | succeeded |
| 7811859 | lean4 | 4.10.0-1 | 6 months ago | 54 minutes | succeeded |
| 7816307 | lean4 | 4.10.0-1 | 6 months ago | an hour | succeeded |
| 7811993 | lean4 | 4.10.0-1 | 6 months ago | 57 minutes | succeeded |
| 7811737 | lean4 | 4.10.0-1 | 6 months ago | 56 minutes | succeeded |
| 7452899 | lean4 | 4.7.0-4 | 8 months ago | 45 minutes | succeeded |
| 7452985 | lean4 | 4.7.0-4 | 8 months ago | 45 minutes | succeeded |
| 7453057 | lean4 | 4.7.0-4 | 8 months ago | an hour | succeeded |
| 7453152 | lean4 | 4.7.0-4 | 8 months ago | 44 minutes | succeeded |
| 7453470 | lean4 | 4.7.0-4 | 8 months ago | 36 minutes | succeeded |
| 7812177 | lean4 | 4.10.0-1 | 6 months ago | 45 minutes | succeeded |
| 7454031 | lean4 | 4.7.0-4 | 8 months ago | an hour | succeeded |
| 8302127 | lean4 | 4.13.0-2 | 2 months ago | 51 minutes | canceled |
| 7469781 | lean4-rc | 4.8.0~rc1-1 | 8 months ago | 29 minutes | succeeded |
| 7469503 | lean4-rc | 4.8.0~rc1-1 | 8 months ago | 47 minutes | succeeded |
| 7468600 | lean4-rc | 4.8.0~rc1-1 | 8 months ago | 47 minutes | succeeded |
| 7470053 | lean4-rc | 4.8.0~rc1-1 | 8 months ago | 45 minutes | succeeded |
| 7470235 | lean4-rc | 4.8.0~rc1-1 | 8 months ago | 45 minutes | succeeded |
| 7471260 | lean4-rc | 4.8.0~rc1-1 | 8 months ago | 57 minutes | succeeded |
| 7471861 | lean4-rc | 4.8.0~rc1-1 | 8 months ago | 37 minutes | succeeded |
| 7471972 | lean4-rc | 4.8.0~rc1-1 | 8 months ago | 34 minutes | succeeded |
| 7472130 | lean4-rc | 4.8.0~rc1-1 | 8 months ago | 31 minutes | succeeded |
| 7475180 | lean4-rc | 4.8.0~rc1-1 | 8 months ago | 22 minutes | succeeded |
| 7699900 | lean4 | 4.9.0-1 | 7 months ago | an hour | succeeded |
| 7489046 | lean4-rc | 4.8.0~rc2-1 | 8 months ago | 30 minutes | succeeded |
| 7489081 | lean4-rc | 4.8.0~rc2-1 | 8 months ago | 45 minutes | succeeded |
| 7699846 | lean4 | 4.9.0-1 | 7 months ago | 51 minutes | succeeded |
| 7489130 | lean4-rc | 4.8.0~rc2-1 | 8 months ago | 38 minutes | succeeded |
| 7700156 | lean4 | 4.9.0-1 | 7 months ago | an hour | succeeded |
| 7700219 | lean4 | 4.9.0-1 | 7 months ago | 55 minutes | succeeded |
| 7489078 | lean4-rc | 4.8.0~rc2-1 | 8 months ago | 46 minutes | succeeded |
| 7489100 | lean4-rc | 4.8.0~rc2-1 | 8 months ago | 46 minutes | succeeded |
| 7700273 | lean4 | 4.9.0-1 | 7 months ago | an hour | succeeded |
| 7489205 | lean4-rc | 4.8.0~rc2-1 | 8 months ago | an hour | succeeded |
| 8205035 | lean4 | 4.12.0-1 | 3 months ago | 37 minutes | succeeded |
| 8205156 | lean4 | 4.12.0-1 | 3 months ago | a minute | failed |
| 7387915 | lean4 | 4.7.0-1 | 9 months ago | 44 minutes | succeeded |
| 7387961 | lean4 | 4.7.0-1 | 9 months ago | 44 minutes | succeeded |
| 7388057 | lean4 | 4.7.0-1 | 9 months ago | 44 minutes | succeeded |
| 7388218 | lean4 | 4.7.0-1 | 9 months ago | 39 minutes | succeeded |
| 8204442 | lean4 | 4.12.0-1 | 3 months ago | 36 seconds | failed |
| 8204519 | lean4 | 4.12.0-1 | 3 months ago | 55 minutes | failed |
| 8204746 | lean4 | 4.12.0-1 | 3 months ago | 44 minutes | succeeded |
| 8204850 | lean4 | 4.12.0-1 | 3 months ago | 43 minutes | succeeded |
| 8204967 | lean4 | 4.12.0-1 | 3 months ago | an hour | succeeded |
| 8600766 | lean4 | 4.16.0-1 | 4 days ago | an hour | succeeded |
| 8600555 | lean4 | 4.16.0-1 | 4 days ago | an hour | succeeded |
| 7387799 | lean4 | 4.7.0-1 | 9 months ago | 45 minutes | succeeded |
| 8205245 | lean4 | 4.12.0-1 | 3 months ago | a minute | failed |
| 8205254 | lean4 | 4.12.0-1 | 3 months ago | 38 minutes | succeeded |
| 8205382 | lean4 | 4.13.0-1 | 3 months ago | 39 minutes | succeeded |
| 8205363 | lean4 | 4.12.0-1 | 3 months ago | 35 minutes | succeeded |
| 8205900 | lean4 | 4.13.0-1 | 3 months ago | 39 minutes | succeeded |
| 8206005 | lean4 | 4.13.0-1 | 3 months ago | 35 minutes | succeeded |
| 8205956 | lean4 | 4.13.0-1 | 3 months ago | 44 minutes | succeeded |
| 8205976 | lean4 | 4.13.0-1 | 3 months ago | 37 minutes | succeeded |
| 8206044 | lean4 | 4.13.0-1 | 3 months ago | an hour | succeeded |
| 8601033 | lean4 | 4.16.0-1 | 4 days ago | an hour | succeeded |
| 8601352 | lean4 | 4.16.0-1 | 3 days ago | an hour | succeeded |
| 8601601 | lean4 | 4.16.0-1 | 3 days ago | 3 hours | succeeded |
| 8332629 | lean4 | 4.14.0-1 | 2 months ago | an hour | succeeded |
| 8332932 | lean4 | 4.14.0-1 | 2 months ago | 34 minutes | succeeded |
| 8333088 | lean4 | 4.14.0-1 | 2 months ago | 2 hours | succeeded |
| 8332707 | lean4 | 4.14.0-1 | 2 months ago | an hour | succeeded |
| 8332773 | lean4 | 4.14.0-1 | 2 months ago | 47 minutes | succeeded |
| 8332861 | lean4 | 4.14.0-1 | 2 months ago | 47 minutes | succeeded |
| 8603335 | lean4 | 4.16.0-1 | 3 days ago | 53 minutes | succeeded |
| 8603392 | lean4 | 4.16.0-1 | 3 days ago | an hour | succeeded |
| 7729380 | lean4 | 4.9.1-1 | 6 months ago | 49 minutes | failed |
| 7729471 | lean4 | 4.9.0-2 | 6 months ago | an hour | succeeded |
| 7729610 | lean4 | 4.9.0-2 | 6 months ago | 53 minutes | succeeded |
| 7730370 | lean4 | 4.9.0-2 | 6 months ago | 52 minutes | succeeded |
| 7730451 | lean4 | 4.9.0-2 | 6 months ago | 41 minutes | succeeded |
| 7730509 | lean4 | 4.9.0-2 | 6 months ago | 42 minutes | succeeded |
| 8305787 | lean4 | 4.13.0-4 | 2 months ago | 45 minutes | succeeded |
| 6757412 | lean4 | 4.3.0-1 | 1 year, 1 month ago | 24 minutes | succeeded |
| 6757458 | lean4 | 4.3.0-1 | 1 year, 1 month ago | 38 minutes | succeeded |
| 6756681 | lean4 | 4.3.0-1 | 1 year, 1 month ago | an hour | succeeded |
| 6756665 | lean4 | 4.3.0-1 | 1 year, 1 month ago | a minute | failed |
| 6757228 | lean4 | 4.3.0-1 | 1 year, 1 month ago | 43 minutes | succeeded |
| 6757539 | lean4 | 4.3.0-1 | 1 year, 1 month ago | 34 minutes | succeeded |
| 6757617 | lean4 | 4.3.0-1 | 1 year, 1 month ago | 26 minutes | succeeded |
| 6757687 | lean4 | 4.3.0-1 | 1 year, 1 month ago | 26 minutes | failed |
| 6758492 | lean4 | 4.3.0-1 | 1 year, 1 month ago | 38 minutes | succeeded |
| 6758517 | lean4 | 4.3.0-1 | 1 year, 1 month ago | 36 minutes | succeeded |
| 6758643 | lean4 | 4.3.0-1 | 1 year, 1 month ago | 26 minutes | succeeded |
| 8305770 | lean4 | 4.13.0-4 | 2 months ago | an hour | succeeded |
| 8103511 | lean4 | 4.11.0-1 | 4 months ago | 40 minutes | succeeded |
| 8103598 | lean4 | 4.11.0-1 | 4 months ago | 42 minutes | succeeded |
| 8103607 | lean4 | 4.12.0-1 | 4 months ago | 38 seconds | failed |
| 8484174 | lean4 | 4.15.0-1 | 30 days ago | 58 minutes | succeeded |
| 8487649 | lean4 | 4.15.0-1 | 30 days ago | an hour | succeeded |
| 8484356 | lean4 | 4.15.0-1 | 30 days ago | an hour | succeeded |
| 8484254 | lean4 | 4.15.0-1 | 30 days ago | 56 minutes | succeeded |
| 8487841 | lean4 | 4.15.0-1 | 30 days ago | 2 hours | succeeded |
| 8301866 | lean4 | 4.13.0-2 | 2 months ago | an hour | succeeded |
| 8305806 | lean4 | 4.13.0-4 | 2 months ago | 53 minutes | succeeded |
| 8305747 | lean4 | 4.13.0-4 | 2 months ago | 43 minutes | succeeded |
| 8305837 | lean4 | 4.13.0-4 | 2 months ago | 2 hours | 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.