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:
> > Som
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-Su
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
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 gi
