What are the specs that the dedicated builder would need? In terms of cpu + ram + diskspace?
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 >> <https://hub.docker.com/layers/sagemath/sagemath/9.3.beta8-py3/images/sha256-a7be2d3cd0253a89ee6770c2915ee1476f8d06d8db4f568cb1f7de0476d8ba41?context=explore> >> about >> 9 months ago. >> >> On that page it mentions "Every push to our GitLab repository >> <https://gitlab.com/sagemath/sage> 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 >> >> <https://groups.google.com/d/msgid/sage-devel/492af376-40ad-45b2-940c-f0ea4f49bf60n%40googlegroups.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/cf606e1d-ab3e-4cb1-85bc-26b65ecdcbd4n%40googlegroups.com.
