workers for docker images on gitlab

68 views
Skip to first unread message

Frédéric Chapoton

unread,
Apr 1, 2021, 3:54:22 AM4/1/21
to sage-devel
Hello,

it would be good to make sure that sage 9.3 will have a correct docker image.
But since recently (9.3.b9), the gitlab setting seems no longer to work.


Maybe missing workers ? Can somebody do domething please ?

Frédéric

PS. Please patchbot client owners upgrade to pachtbot 3.0.2

Eric Gourgoulhon

unread,
Apr 8, 2021, 4:48:37 AM4/8/21
to sage-devel
Hi,

Le jeudi 1 avril 2021 à 09:54:22 UTC+2, Frédéric Chapoton a écrit :
it would be good to make sure that sage 9.3 will have a correct docker image.
But since recently (9.3.b9), the gitlab setting seems no longer to work.

This is certainly related: as of today, the latest Docker image available at
is 9.3.beta8 only.

Eric.

Frédéric Chapoton

unread,
Aug 22, 2021, 2:06:55 PM8/22/21
to sage-devel
Same problem still stands. We will not have docker images for 9.4. Can somebody care ?

Frederic

Le jeudi 1 avril 2021 à 09:54:22 UTC+2, Frédéric Chapoton a écrit :

Dima Pasechnik

unread,
Aug 22, 2021, 2:10:24 PM8/22/21
to sage-devel
Someone has to set up a worker with enough resources. 

The worker at U. Paris-Sud runs out of disk space.

--
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/e20bd760-f1ba-49e5-992a-3a3ddd4258b5n%40googlegroups.com.

Thierry

unread,
Aug 22, 2021, 4:04:28 PM8/22/21
to sage-...@googlegroups.com
Hi,

On Sun, Aug 22, 2021 at 09:10:08PM +0300, Dima Pasechnik wrote:
> Someone has to set up a worker with enough resources.

What are the requirements ? Is it possible to run unprivileged
docker for such task ? Is there a straightforward doc somewhere ?

Ciao,
Thierry
> > <https://groups.google.com/d/msgid/sage-devel/e20bd760-f1ba-49e5-992a-3a3ddd4258b5n%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+...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq3DR_YG51SyKUftKZbmeAbHH1x1B8rizxErfpdUxCTBGQ%40mail.gmail.com.

Dima Pasechnik

unread,
Aug 22, 2021, 4:53:43 PM8/22/21
to sage-devel, Erik Bray
This is a gitlab worker/runner, I don't know what exactly needs to be done to set it up.

The one at Paris-Sud was set up by Erik,
in cc.



Reply all
Reply to author
Forward
0 new messages