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