Re: [sage-devel] Docker images no longer being build and is gitlab still maintained?
Thanks Thierry, I'll email you directly to figure out the details. On Tue, Nov 30, 2021 at 4:32 AM Thierry wrote: > Hi, > > On Sun, Nov 28, 2021 at 07:32:18PM +, Dima Pasechnik wrote: > > On Sun, 28 Nov 2021, 15:38 William Stein, wrote: > > > On Sun, Nov 28, 2021 at 2:32 AM Dima Pasechnik > wrote: > > > > On Sun, Nov 28, 2021 at 10:12 AM Maarten Derickx > > > > 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 . > > > FilesystemSize 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 > > > totalusedfree 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. > >
Re: [sage-devel] Docker images no longer being build and is gitlab still maintained?
Hi, On Sun, Nov 28, 2021 at 07:32:18PM +, Dima Pasechnik wrote: > On Sun, 28 Nov 2021, 15:38 William Stein, wrote: > > On Sun, Nov 28, 2021 at 2:32 AM Dima Pasechnik wrote: > > > On Sun, Nov 28, 2021 at 10:12 AM Maarten Derickx > > > 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 . > > FilesystemSize 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 > > totalusedfree 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, > > 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 t
