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. 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.
