Hi, On Tue, May 04, 2021 at 04:50:35PM +0100, Dima Pasechnik wrote: > On Mon, May 3, 2021 at 10:11 AM E. Madison Bray <erik.m.b...@gmail.com> wrote: > > > > On Thu, Apr 29, 2021 at 2:30 PM julian...@fsfe.org > > <julian.ru...@fsfe.org> wrote: [...] > > 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. > > It's running out of disk space while attempting the build: I see > > tee: logs/install.log: No space left on device > > in https://gitlab.com/sagemath/sage/-/jobs/1231174714#L1361
Is there a way to manage gitlab runners "à la patchbot" ? I mean with a simple procedure to allow anyone contribute computational ressources with no administrative cost, and rootless ? That would probably be helpful, since many people in the Sage community will probably be willing to help, there are so many computational ressources sleeping in many labs (small grids, but also desktops with lot of cores and RAM which are used to ckeck email and browse the web). How do running a gitlab runner compares with running a patchbot in terms of RAM/CPU/Disk/bandwidth cost ? Ciao, Thierry > > > > 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. > > -- > 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/CAAWYfq0JVo5a6aA4NWFJcZ-WKGCs%2B%2BWPoVAiKX8PTVDbWu_-_A%40mail.gmail.com. -- 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/20210507111031.74c6zj2mvb57ajdt%40metelu.net.
