On Thu, Apr 29, 2021 at 2:30 PM julian...@fsfe.org <julian.ru...@fsfe.org> wrote: > > Hi Dima and Abhishek. > > On Thursday, April 29, 2021 at 12:44:33 PM UTC+2 dim...@gmail.com wrote: >> >> On Thu, Apr 29, 2021 at 9:37 AM Abhishek cherath <abhic...@gmail.com> wrote: >> >> > For some reason the CI build for 9.2 release seems to have failed, so the >> > docker sagemath/sagemath:latest image is of 9.1. Any help I can offer with >> > fixing this? >> >> Thanks for your offer of help. >> >> The docker image is meant to be built by a GitLab CI pipeline, here: >> https://gitlab.com/sagemath/dev/sage > > > Actually, the one that pushes to docker hub is this one: > https://gitlab.com/sagemath/sage > >> >> But as GitLab own runners are overloaded, we need our own GitLab runner; >> there used to be one hosted at Orsay, but I am not sure about its >> status, it does not return my calls :-) > > > The problem is in fact that the GitLab runners have limits that are > insufficient to build all of SageMath from scratch (and they are also > overloaded and therefore slow to respond.) > >> >> Perhaps we should get a GitHub, or some other service, CI pipeline for >> this purpose. > > > Afaik the limits on GitHub are also not sufficient to build our docker image > in one go. But maybe that has changed by now. The easiest solution would > certainly be to get the runners in Orsay working again. Or elsewhere if > anybody can volunteer resources. I am happy to assist with the runner setup.
I've restarted the gitlab-runner service. It apparently started hanging at some point for no apparent reason. Simply kicking it with a `sudo systemctl restart gitlab-runner` seems to have done the trick. If anyone would like to have access to the server hosting the gitlab-runner service please send me an SSH public key. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAOTD34b8sTQ5EC6YdawtJXC_KDFKYViWe1ikxmkPem1vbgV6zg%40mail.gmail.com.