Re: [sage-devel] Re: workers for docker images on gitlab

2021-08-22 Thread Dima Pasechnik
This is a gitlab worker/runner, I don't know what exactly needs to be done
to set it up.
https://docs.gitlab.com/runner/

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



On Sun, 22 Aug 2021, 23:04 Thierry,  wrote:

> 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
>
>
> > The worker at U. Paris-Sud runs out of disk space.
> >
> > On Sun, 22 Aug 2021, 21:06 Frédéric Chapoton, 
> wrote:
> >
> > > 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 :
> > >
> > >> 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.
> > >>
> > >> https://gitlab.com/sagemath/sage/-/pipelines
> > >>
> > >> Maybe missing workers ? Can somebody do domething please ?
> > >>
> > >> Frédéric
> > >>
> > >> PS. Please patchbot client owners upgrade to pachtbot 3.0.2
> > >>
> > > --
> > > 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/e20bd760-f1ba-49e5-992a-3a3ddd4258b5n%40googlegroups.com
> > > <
> https://groups.google.com/d/msgid/sage-devel/e20bd760-f1ba-49e5-992a-3a3ddd4258b5n%40googlegroups.com?utm_medium=email_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/CAAWYfq3DR_YG51SyKUftKZbmeAbHH1x1B8rizxErfpdUxCTBGQ%40mail.gmail.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/20210822200422.GA9900%40metelu.net
> .
>

-- 
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/CAAWYfq2V-9D%3DMaLcZkYYZo1xjCyF0HwMNGogbNHfxQ%2B7iEmLRg%40mail.gmail.com.


Re: [sage-devel] Re: workers for docker images on gitlab

2021-08-22 Thread Thierry
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


> The worker at U. Paris-Sud runs out of disk space.
>  
> On Sun, 22 Aug 2021, 21:06 Frédéric Chapoton,  wrote:
> 
> > 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 :
> >
> >> 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.
> >>
> >> https://gitlab.com/sagemath/sage/-/pipelines
> >>
> >> Maybe missing workers ? Can somebody do domething please ?
> >>
> >> Frédéric
> >>
> >> PS. Please patchbot client owners upgrade to pachtbot 3.0.2
> >>
> > --
> > 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/e20bd760-f1ba-49e5-992a-3a3ddd4258b5n%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/CAAWYfq3DR_YG51SyKUftKZbmeAbHH1x1B8rizxErfpdUxCTBGQ%40mail.gmail.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/20210822200422.GA9900%40metelu.net.


Re: [sage-devel] Re: workers for docker images on gitlab

2021-08-22 Thread Dima Pasechnik
Someone has to set up a worker with enough resources.

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

On Sun, 22 Aug 2021, 21:06 Frédéric Chapoton,  wrote:

> 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 :
>
>> 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.
>>
>> https://gitlab.com/sagemath/sage/-/pipelines
>>
>> Maybe missing workers ? Can somebody do domething please ?
>>
>> Frédéric
>>
>> PS. Please patchbot client owners upgrade to pachtbot 3.0.2
>>
> --
> 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/e20bd760-f1ba-49e5-992a-3a3ddd4258b5n%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/CAAWYfq3DR_YG51SyKUftKZbmeAbHH1x1B8rizxErfpdUxCTBGQ%40mail.gmail.com.


[sage-devel] Re: workers for docker images on gitlab

2021-08-22 Thread Frédéric Chapoton
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 :

> 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.
>
> https://gitlab.com/sagemath/sage/-/pipelines
>
> Maybe missing workers ? Can somebody do domething please ?
>
> Frédéric
>
> PS. Please patchbot client owners upgrade to pachtbot 3.0.2
>

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


[sage-devel] Re: workers for docker images on gitlab

2021-04-08 Thread Eric Gourgoulhon
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 
https://hub.docker.com/r/sagemath/sagemath/tags
is 9.3.beta8 only. 

Eric.

-- 
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/6a3b8259-1bbc-4a1b-8bdb-187d7130ce65n%40googlegroups.com.