Thanks Thierry, I'll email you directly to figure out the details.
On Tue, Nov 30, 2021 at 4:32 AM Thierry <sage-googlesu...@lma.metelu.net> wrote: > Hi, > > On Sun, Nov 28, 2021 at 07:32:18PM +0000, Dima Pasechnik wrote: > > On Sun, 28 Nov 2021, 15:38 William Stein, <wst...@gmail.com> wrote: > > > On Sun, Nov 28, 2021 at 2:32 AM Dima Pasechnik <dimp...@gmail.com> > wrote: > > > > On Sun, Nov 28, 2021 at 10:12 AM Maarten Derickx > > > > <m.derickx.stud...@gmail.com> wrote: > > > > > > > > > > What are the specs that the dedicated builder would need? In terms > of > > > cpu + ram + diskspace? > > > > > > > > nothing spectacularly big, but somehow it manages to run out of > > > > smallish disk space on an INRIA (or was it Paris Sud, aka Paris > > > > Saclay?). > > > > > > > > Like, in might need more than 20 Gb or 50Gb free space for some > reason. > > > > Nothing too bug, a reasonable modern desktop would do the job ---if > we > > > > don't let it run on every push into the repo. > > > > > > There is still a powerful server at Univ of Washington that I bought > using > > > a grant specifically for Sage development > > > (nearly a decade ago!) that could be used for building Docker images. > It's > > > very powerful and has tons of disk space. > > > The drawback is it could just go "poof" at any moment, and it could be > a > > > very long time until it comes back, if ever. > > > But for building docker images, that's probably fine. > > > > can it be used as a gitlab or/and github runner for sagemath org? > > > > I guess I don't have an account there, but it would be good to get one. > > If this ressource is not fully used, i am also volonteering to get an > account and setup some specific (e.g. 32bit) patchbots there. > > Ciao, > Thierry > > > > > Dima > > > > > > > wstein@kucalc:~/cocalc-docker/linux$ df -h . > > > Filesystem Size Used Avail Use% Mounted on > > > tank/home/wstein 2.7T 252G 2.5T 10% /home/wstein > > > wstein@kucalc:~/cocalc-docker/linux$ uptime > > > 07:30:53 up 904 days, 20:11, 9 users, load average: 0.67, 0.61, 0.52 > > > wstein@kucalc:~/cocalc-docker/linux$ free -g > > > total used free shared buff/cache > > > available > > > Mem: 251 11 41 2 198 > > > 198 > > > Swap: 255 1 254 > > > wstein@kucalc:~/cocalc-docker/linux$ cat /proc/cpuinfo | grep > processor > > > |wc -l > > > 48 > > > > > > -- William > > > > > > > > > > > Dima > > > > > > > > > > > > > > > > > > > > > > On Saturday, 27 November 2021 at 19:13:14 UTC+1 dim...@gmail.com > > > wrote: > > > > >> > > > > >> > > > > >> > > > > >> On Sat, 27 Nov 2021, 17:07 Maarten Derickx, < > m.derick...@gmail.com> > > > wrote: > > > > >>> > > > > >>> I noticed on https://hub.docker.com/r/sagemath/sagemath/ that > there > > > haven't been any updates of the official sagemath docker image since > > > 9.3.beta8-py3 about 9 months ago. > > > > >>> > > > > >>> On that page it mentions "Every push to our GitLab repository > > > triggers a pipeline in GitLab CI which pushes the actual images to > Docker > > > Hub." > > > > >>> > > > > >>> Now I had a look at the pipelines on gitlab > > > > https://gitlab.com/sagemath/sage/-/pipelines?page=1&scope=all&status=success > > > the last succesful run of the pipelines was about 8 months ago. So > gitlab > > > pipelines being broken seems to explain why no new images are being > pushed > > > to dockerhub. > > > > >>> > > > > >>> So I am wondering, is gitlab being phased out/abandoned, or do we > > > still support it and do we just need to show it some love? > > > > >> > > > > >> > > > > >> It needs quite a bit of love, in form of a gitlab runner that > doesn't > > > run out of disk space (a dedicated runner at France runs of disk > space). > > > > >> > > > > >> It's perhaps the time to switch over to GitHub. > > > > >> Mattias Koeppe should have an idea how much effort this would > entail. > > > > >> > > > > >> Dima > > > > >>> > > > > >>> > > > > >>> Thanks, > > > > >>> Maarten > > > > >>> > > > > >>> -- > > > > >>> 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+...@googlegroups.com. > > > > >>> To view this discussion on the web visit > > > > https://groups.google.com/d/msgid/sage-devel/492af376-40ad-45b2-940c-f0ea4f49bf60n%40googlegroups.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/cf606e1d-ab3e-4cb1-85bc-26b65ecdcbd4n%40googlegroups.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/CAAWYfq3Q2ZvF05DgW2n_gZf8Q9pcJRmZ5DcYAHkgR4MS7Tfy3w%40mail.gmail.com > > > . > > > > > > > > > > > > -- > > > William (http://wstein.org) > > > > > > -- > > > 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/CACLE5GDfHczNcWNiSrUnO4H%3DUTLYWrp9fqOQW1hVUvSFJF6ZaQ%40mail.gmail.com > > > < > https://groups.google.com/d/msgid/sage-devel/CACLE5GDfHczNcWNiSrUnO4H%3DUTLYWrp9fqOQW1hVUvSFJF6ZaQ%40mail.gmail.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/CAAWYfq1g8kibm1zc%2BuOYvDEwqrKecSrhxSg-PmoKwSSpmurbog%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/20211130123159.GA16928%40metelu.net > . > -- William (http://wstein.org) -- 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/CACLE5GCkOOS6-Ldcs3YX49VS4FmCbU7g1G_Wz%2B%3Dke0J6xcNApA%40mail.gmail.com.