Project Builds
| Build ID | Package Name | Package Version | Submitted | Build Time | Status |
|---|---|---|---|---|---|
| 7390111 | lean4 | 4.7.0-1 | 1 year, 6 months ago | an hour | succeeded |
| 7396323 | lean4 | 4.7.0-2 | 1 year, 5 months ago | an hour | succeeded |
| 8853302 | lean4 | 4.18.0-1 | 6 months ago | an hour | succeeded |
| 8853544 | lean4 | 4.18.0-1 | 6 months ago | an hour | succeeded |
| 7396056 | lean4 | 4.7.0-2 | 1 year, 5 months ago | 43 minutes | succeeded |
| 7396104 | lean4 | 4.7.0-2 | 1 year, 5 months ago | 44 minutes | succeeded |
| 7396137 | lean4 | 4.7.0-2 | 1 year, 5 months ago | 43 minutes | succeeded |
| 7396167 | lean4 | 4.7.0-2 | 1 year, 5 months ago | 43 minutes | succeeded |
| 7396239 | lean4 | 4.7.0-2 | 1 year, 5 months ago | 36 minutes | succeeded |
| 9157386 | lean4 | 4.20.0-4 | 4 months ago | an hour | succeeded |
| 9007791 | lean4 | 4.19.0-1 | 5 months ago | 40 minutes | failed |
| 9157538 | lean4 | 4.20.0-4 | 4 months ago | an hour | succeeded |
| 9459705 | lean4 | 4.22.0-1 | 2 months ago | an hour | succeeded |
| 9459749 | lean4 | 4.22.0-1 | 2 months ago | an hour | succeeded |
| 9459524 | lean4 | 4.22.0-1 | 2 months ago | an hour | succeeded |
| 9459591 | lean4 | 4.22.0-1 | 2 months ago | an hour | succeeded |
| 9157775 | lean4 | 4.20.0-4 | 4 months ago | an hour | succeeded |
| 7543003 | lean4 | 4.8.0-1 | 1 year, 4 months ago | 32 minutes | succeeded |
| 7542866 | lean4 | 4.8.0-1 | 1 year, 4 months ago | 47 minutes | succeeded |
| 9459645 | lean4 | 4.22.0-1 | 2 months ago | an hour | succeeded |
| 9157928 | lean4 | 4.20.0-4 | 4 months ago | an hour | succeeded |
| 7542767 | lean4 | 4.8.0-1 | 1 year, 4 months ago | 47 minutes | succeeded |
| 9460014 | lean4 | 4.22.0-1 | 2 months ago | 4 hours | succeeded |
| 7543042 | lean4 | 4.8.0-1 | 1 year, 4 months ago | 38 minutes | succeeded |
| 7543231 | lean4 | 4.8.0-1 | 1 year, 4 months ago | an hour | succeeded |
| 9159023 | lean4 | 4.20.0-4 | 4 months ago | an hour | succeeded |
| 8302268 | lean4 | 4.13.0-3 | 11 months ago | an hour | succeeded |
| 9159611 | lean4 | 4.20.0-4 | 4 months ago | 3 hours | succeeded |
| 8305733 | lean4 | 4.13.0-4 | 11 months ago | 37 minutes | succeeded |
| 7811859 | lean4 | 4.10.0-1 | 1 year, 2 months ago | 54 minutes | succeeded |
| 7816307 | lean4 | 4.10.0-1 | 1 year, 2 months ago | an hour | succeeded |
| 7811993 | lean4 | 4.10.0-1 | 1 year, 2 months ago | 57 minutes | succeeded |
| 7811737 | lean4 | 4.10.0-1 | 1 year, 2 months ago | 56 minutes | succeeded |
| 7452899 | lean4 | 4.7.0-4 | 1 year, 5 months ago | 45 minutes | succeeded |
| 7452985 | lean4 | 4.7.0-4 | 1 year, 5 months ago | 45 minutes | succeeded |
| 7453057 | lean4 | 4.7.0-4 | 1 year, 5 months ago | an hour | succeeded |
| 7453152 | lean4 | 4.7.0-4 | 1 year, 5 months ago | 44 minutes | succeeded |
| 7453470 | lean4 | 4.7.0-4 | 1 year, 5 months ago | 36 minutes | succeeded |
| 7812177 | lean4 | 4.10.0-1 | 1 year, 2 months ago | 45 minutes | succeeded |
| 7454031 | lean4 | 4.7.0-4 | 1 year, 5 months ago | an hour | succeeded |
| 8727068 | lean4 | 4.17.0-1 | 7 months ago | 59 minutes | succeeded |
| 8302127 | lean4 | 4.13.0-2 | 11 months ago | 51 minutes | canceled |
| 9563643 | lean4 | 4.23.0-1 | a month ago | an hour | succeeded |
| 8727297 | lean4 | 4.17.0-1 | 7 months ago | an hour | succeeded |
| 8729553 | lean4 | 4.17.0-1 | 7 months ago | 2 minutes | failed |
| 8729861 | lean4 | 4.17.0-1 | 7 months ago | 2 minutes | failed |
| 9563833 | lean4 | 4.23.0-1 | a month ago | an hour | succeeded |
| 8730683 | lean4 | 4.17.0-1 | 7 months ago | an hour | succeeded |
| 8730581 | lean4 | 4.17.0-1 | 7 months ago | an hour | succeeded |
| 7699900 | lean4 | 4.9.0-1 | 1 year, 3 months ago | an hour | succeeded |
| 7699846 | lean4 | 4.9.0-1 | 1 year, 3 months ago | 51 minutes | succeeded |
| 7700156 | lean4 | 4.9.0-1 | 1 year, 3 months ago | an hour | succeeded |
| 8731887 | lean4 | 4.17.0-1 | 7 months ago | 48 minutes | succeeded |
| 8731952 | lean4 | 4.17.0-1 | 7 months ago | an hour | succeeded |
| 7700219 | lean4 | 4.9.0-1 | 1 year, 3 months ago | 55 minutes | succeeded |
| 7700273 | lean4 | 4.9.0-1 | 1 year, 3 months ago | an hour | succeeded |
| 8732037 | lean4 | 4.17.0-1 | 7 months ago | 2 hours | succeeded |
| 8205035 | lean4 | 4.12.0-1 | 11 months ago | 37 minutes | succeeded |
| 8205156 | lean4 | 4.12.0-1 | 11 months ago | a minute | failed |
| 7387915 | lean4 | 4.7.0-1 | 1 year, 6 months ago | 44 minutes | succeeded |
| 7387961 | lean4 | 4.7.0-1 | 1 year, 6 months ago | 44 minutes | succeeded |
| 7388057 | lean4 | 4.7.0-1 | 1 year, 6 months ago | 44 minutes | succeeded |
| 7388218 | lean4 | 4.7.0-1 | 1 year, 6 months ago | 39 minutes | succeeded |
| 8204442 | lean4 | 4.12.0-1 | 11 months ago | 36 seconds | failed |
| 8204519 | lean4 | 4.12.0-1 | 11 months ago | 55 minutes | failed |
| 8204746 | lean4 | 4.12.0-1 | 11 months ago | 44 minutes | succeeded |
| 8204850 | lean4 | 4.12.0-1 | 11 months ago | 43 minutes | succeeded |
| 8204967 | lean4 | 4.12.0-1 | 11 months ago | an hour | succeeded |
| 8600766 | lean4 | 4.16.0-1 | 8 months ago | an hour | succeeded |
| 8600555 | lean4 | 4.16.0-1 | 8 months ago | an hour | succeeded |
| 7387799 | lean4 | 4.7.0-1 | 1 year, 6 months ago | 45 minutes | succeeded |
| 8205245 | lean4 | 4.12.0-1 | 11 months ago | a minute | failed |
| 8205254 | lean4 | 4.12.0-1 | 11 months ago | 38 minutes | succeeded |
| 8205382 | lean4 | 4.13.0-1 | 11 months ago | 39 minutes | succeeded |
| 8205363 | lean4 | 4.12.0-1 | 11 months ago | 35 minutes | succeeded |
| 8205900 | lean4 | 4.13.0-1 | 11 months ago | 39 minutes | succeeded |
| 8206005 | lean4 | 4.13.0-1 | 11 months ago | 35 minutes | succeeded |
| 8205956 | lean4 | 4.13.0-1 | 11 months ago | 44 minutes | succeeded |
| 8205976 | lean4 | 4.13.0-1 | 11 months ago | 37 minutes | succeeded |
| 8206044 | lean4 | 4.13.0-1 | 11 months ago | an hour | succeeded |
| 8601033 | lean4 | 4.16.0-1 | 8 months ago | an hour | succeeded |
| 8992556 | lean4 | 4.19.0-1 | 5 months ago | 37 seconds | failed |
| 8601352 | lean4 | 4.16.0-1 | 8 months ago | an hour | succeeded |
| 8601601 | lean4 | 4.16.0-1 | 8 months ago | 3 hours | succeeded |
| 8854458 | lean4 | 4.18.0-1 | 6 months ago | an hour | succeeded |
| 8332629 | lean4 | 4.14.0-1 | 10 months ago | an hour | succeeded |
| 8332932 | lean4 | 4.14.0-1 | 10 months ago | 34 minutes | succeeded |
| 8333088 | lean4 | 4.14.0-1 | 10 months ago | 2 hours | succeeded |
| 8332707 | lean4 | 4.14.0-1 | 10 months ago | an hour | succeeded |
| 8332773 | lean4 | 4.14.0-1 | 10 months ago | 47 minutes | succeeded |
| 8332861 | lean4 | 4.14.0-1 | 10 months ago | 47 minutes | succeeded |
| 8603335 | lean4 | 4.16.0-1 | 8 months ago | 53 minutes | succeeded |
| 8603392 | lean4 | 4.16.0-1 | 8 months ago | an hour | succeeded |
| 8854577 | lean4 | 4.18.0-1 | 6 months ago | 5 hours | failed |
| 8854520 | lean4 | 4.18.0-1 | 6 months ago | 59 minutes | succeeded |
| 7729380 | lean4 | 4.9.1-1 | 1 year, 3 months ago | 49 minutes | failed |
| 7729471 | lean4 | 4.9.0-2 | 1 year, 3 months ago | an hour | succeeded |
| 7729610 | lean4 | 4.9.0-2 | 1 year, 3 months ago | 53 minutes | succeeded |
| 7730370 | lean4 | 4.9.0-2 | 1 year, 3 months ago | 52 minutes | succeeded |
| 7730451 | lean4 | 4.9.0-2 | 1 year, 3 months ago | 41 minutes | succeeded |
| 7730509 | lean4 | 4.9.0-2 | 1 year, 3 months ago | 42 minutes | succeeded |
| 8305787 | lean4 | 4.13.0-4 | 11 months ago | 45 minutes | succeeded |
| 6757412 | lean4 | 4.3.0-1 | 1 year, 10 months ago | 24 minutes | succeeded |
| 6757458 | lean4 | 4.3.0-1 | 1 year, 10 months ago | 38 minutes | succeeded |
| 6756681 | lean4 | 4.3.0-1 | 1 year, 10 months ago | an hour | succeeded |
| 6756665 | lean4 | 4.3.0-1 | 1 year, 10 months ago | a minute | failed |
| 6757228 | lean4 | 4.3.0-1 | 1 year, 10 months ago | 43 minutes | succeeded |
| 6757539 | lean4 | 4.3.0-1 | 1 year, 10 months ago | 34 minutes | succeeded |
| 6757617 | lean4 | 4.3.0-1 | 1 year, 10 months ago | 26 minutes | succeeded |
| 6757687 | lean4 | 4.3.0-1 | 1 year, 10 months ago | 26 minutes | failed |
| 6758492 | lean4 | 4.3.0-1 | 1 year, 10 months ago | 38 minutes | succeeded |
| 6758517 | lean4 | 4.3.0-1 | 1 year, 10 months ago | 36 minutes | succeeded |
| 6758643 | lean4 | 4.3.0-1 | 1 year, 10 months ago | 26 minutes | succeeded |
| 8305770 | lean4 | 4.13.0-4 | 11 months ago | an hour | succeeded |
| 8103511 | lean4 | 4.11.0-1 | 1 year, 28 days ago | 40 minutes | succeeded |
| 8103598 | lean4 | 4.11.0-1 | 1 year, 28 days ago | 42 minutes | succeeded |
| 8103607 | lean4 | 4.12.0-1 | 1 year, 28 days ago | 38 seconds | failed |
| 9418762 | lean4 | 4.22.0-1 | 2 months ago | an hour | succeeded |
| 8484174 | lean4 | 4.15.0-1 | 9 months ago | 58 minutes | succeeded |
| 8487649 | lean4 | 4.15.0-1 | 9 months ago | an hour | succeeded |
| 8484356 | lean4 | 4.15.0-1 | 9 months ago | an hour | succeeded |
| 8484254 | lean4 | 4.15.0-1 | 9 months ago | 56 minutes | succeeded |
| 8487841 | lean4 | 4.15.0-1 | 9 months ago | 2 hours | succeeded |
| 9562902 | lean4 | 4.23.0-1 | a month ago | 2 hours | succeeded |
| 8301866 | lean4 | 4.13.0-2 | 11 months ago | an hour | succeeded |
| 8305806 | lean4 | 4.13.0-4 | 11 months ago | 53 minutes | succeeded |
| 8305747 | lean4 | 4.13.0-4 | 11 months ago | 43 minutes | succeeded |
| 8305837 | lean4 | 4.13.0-4 | 11 months ago | 2 hours | succeeded |
| 9561794 | lean4 | 4.23.0-1 | a month ago | an hour | succeeded |
| 9434008 | lean4 | 4.22.0-1 | 2 months ago | 32 minutes | failed |
| 9134111 | lean4 | 4.20.0-2 | 4 months ago | an hour | succeeded |
| 9563437 | lean4 | 4.23.0-1 | a month ago | an hour | succeeded |
| 9134576 | lean4 | 4.20.0-2 | 4 months ago | 3 hours | succeeded |
| 8852545 | lean4 | 4.18.0-1 | 6 months ago | 2 hours | succeeded |
| 8853096 | lean4 | 4.18.0-1 | 6 months ago | an hour | succeeded |
| 8992558 | lean4 | 4.19.0-1 | 5 months ago | 33 seconds | failed |
| 8992623 | lean4 | 4.19.0-1 | 5 months ago | 26 minutes | failed |
| 9131716 | lean4 | 4.20.0-1 | 4 months ago | an hour | succeeded |
| 9127846 | lean4 | 4.20.0-1 | 4 months ago | 2 hours | succeeded |
| 9128930 | lean4 | 4.20.0-1 | 4 months ago | an hour | succeeded |
| 9131410 | lean4 | 4.20.0-1 | 4 months ago | an hour | succeeded |
| 9131533 | lean4 | 4.20.0-1 | 4 months ago | an hour | succeeded |
| 9132006 | lean4 | 4.20.0-1 | 4 months ago | 4 hours | succeeded |
| 9132528 | lean4 | 4.20.0-2 | 4 months ago | an hour | succeeded |
| 9132802 | lean4 | 4.20.0-2 | 4 months ago | 2 hours | succeeded |
| 9133476 | lean4 | 4.20.0-2 | 4 months ago | an hour | succeeded |
| 9133623 | lean4 | 4.20.0-2 | 4 months ago | 2 hours | succeeded |
| 9227559 | lean4 | 4.21.0-1 | 4 months ago | an hour | succeeded |
| 9227451 | lean4 | 4.21.0-1 | 4 months ago | an hour | succeeded |
| 9226812 | lean4 | 4.21.0-1 | 4 months ago | an hour | succeeded |
| 9226762 | lean4 | 4.21.0-1 | 4 months ago | an hour | succeeded |
| 9226919 | lean4 | 4.21.0-1 | 4 months ago | an hour | succeeded |
| 9227168 | lean4 | 4.21.0-1 | 4 months ago | 2 hours | succeeded |
| 9154969 | lean4 | 4.20.0-3 | 4 months ago | an hour | succeeded |
| 9154979 | lean4 | 4.20.0-3 | 4 months ago | an hour | succeeded |
| 9155127 | lean4 | 4.20.0-3 | 4 months ago | an hour | succeeded |
| 9155372 | lean4 | 4.20.0-3 | 4 months ago | an hour | succeeded |
| 9155307 | lean4 | 4.20.0-3 | 4 months ago | an hour | succeeded |
| 9709864 | lean4 | 4.24.0-1 | 9 days ago | an hour | succeeded |
| 9710503 | lean4 | 4.24.0-1 | 9 days ago | 2 hours | succeeded |
| 9711116 | lean4 | 4.24.0-1 | 9 days ago | an hour | succeeded |
| 9711424 | lean4 | 4.24.0-1 | 9 days ago | an hour | succeeded |
| 9711765 | lean4 | 4.24.0-1 | 9 days ago | 3 hours | succeeded |
| 9709276 | lean4 | 4.24.0-1 | 9 days ago | an hour | succeeded |
| 9709494 | lean4 | 4.24.0-1 | 9 days ago | an hour | succeeded |
| 9418656 | lean4 | 4.22.0-1 | 2 months ago | an hour | succeeded |
| 9418921 | lean4 | 4.22.0-1 | 2 months ago | an hour | succeeded |
| 9419632 | lean4 | 4.22.0-1 | 2 months ago | 2 hours | succeeded |
| 9561674 | lean4 | 4.23.0-1 | a month ago | an hour | succeeded |
| 9431426 | lean4 | 4.22.0-1 | 2 months ago | an hour | succeeded |
| 9563974 | lean4 | 4.23.0-1 | a month ago | 4 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.