This is a gitlab worker/runner, I don't know what exactly needs to be done to set it up. https://docs.gitlab.com/runner/
The one at Paris-Sud was set up by Erik, in cc. On Sun, 22 Aug 2021, 23:04 Thierry, <sage-googlesu...@lma.metelu.net> wrote: > Hi, > > On Sun, Aug 22, 2021 at 09:10:08PM +0300, Dima Pasechnik wrote: > > Someone has to set up a worker with enough resources. > > What are the requirements ? Is it possible to run unprivileged > docker for such task ? Is there a straightforward doc somewhere ? > > Ciao, > Thierry > > > > The worker at U. Paris-Sud runs out of disk space. > > > > On Sun, 22 Aug 2021, 21:06 Frédéric Chapoton, <fchapot...@gmail.com> > wrote: > > > > > Same problem still stands. We will not have docker images for 9.4. Can > > > somebody care ? > > > > > > Frederic > > > > > > Le jeudi 1 avril 2021 à 09:54:22 UTC+2, Frédéric Chapoton a écrit : > > > > > >> Hello, > > >> > > >> it would be good to make sure that sage 9.3 will have a correct docker > > >> image. > > >> But since recently (9.3.b9), the gitlab setting seems no longer to > work. > > >> > > >> https://gitlab.com/sagemath/sage/-/pipelines > > >> > > >> Maybe missing workers ? Can somebody do domething please ? > > >> > > >> Frédéric > > >> > > >> PS. Please patchbot client owners upgrade to pachtbot 3.0.2 > > >> > > > -- > > > 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/e20bd760-f1ba-49e5-992a-3a3ddd4258b5n%40googlegroups.com > > > < > https://groups.google.com/d/msgid/sage-devel/e20bd760-f1ba-49e5-992a-3a3ddd4258b5n%40googlegroups.com?utm_medium=email&utm_source=footer > > > > > . > > > > > > > -- > > 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/CAAWYfq3DR_YG51SyKUftKZbmeAbHH1x1B8rizxErfpdUxCTBGQ%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/20210822200422.GA9900%40metelu.net > . > -- 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/CAAWYfq2V-9D%3DMaLcZkYYZo1xjCyF0HwMNGogbNHfxQ%2B7iEmLRg%40mail.gmail.com.
