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.
