In the meantime I managed to verify that aside from the gitlab CI/CD there are no other things that are broken. Meaning that I managed to build the docker file shipped with sage just fine on my laptop. I pushed a build of 9.4 to https://hub.docker.com/r/mderickx/sagemath/ in case anyone is interested.
Op dinsdag 30 november 2021 om 18:57:51 UTC+1 schreef wst...@gmail.com: > Thanks Thierry, I'll email you directly to figure out the details. > > > On Tue, Nov 30, 2021 at 4:32 AM Thierry <sage-goo...@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 <dim...@gmail.com> >> wrote: >> > > > On Sun, Nov 28, 2021 at 10:12 AM Maarten Derickx >> > > > <m.derick...@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+...@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+...@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+...@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+...@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+...@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/bd134230-fc80-42be-85ab-57b613fe93e5n%40googlegroups.com.
