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