Re: [sage-devel] Re: Docker images no longer being build and is gitlab still maintained?

2021-11-29 Thread Dima Pasechnik
On Mon, Nov 29, 2021 at 4:58 AM julian...@fsfe.org wrote: > > Hi Maarten, > > On Saturday, November 27, 2021 at 11:07:29 AM UTC-6 m.derick...@gmail.com > wrote: > > 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? >

[sage-devel] Re: Docker images no longer being build and is gitlab still maintained?

2021-11-28 Thread julian...@fsfe.org
Hi Maarten, On Saturday, November 27, 2021 at 11:07:29 AM UTC-6 m.derick...@gmail.com wrote: > 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? I set up much of the things on GitLab initially, in the hope that it could

[sage-devel] Re: Docker images

2020-11-25 Thread Frédéric Chapoton
I made https://trac.sagemath.org/ticket/30960 Le mercredi 25 novembre 2020 à 11:07:09 UTC+1, Frédéric Chapoton a écrit : > now the docker building process on gitlab fails here, for the latest > develop 9.3.beta2 : > > find src/build -name '*.py' -exec rm \{\} \; > find: ‘src/build’: No such fi

[sage-devel] Re: Docker images

2020-11-25 Thread Frédéric Chapoton
now the docker building process on gitlab fails here, for the latest develop 9.3.beta2 : find src/build -name '*.py' -exec rm \{\} \; find: ‘src/build’: No such file or directory Makefile:151: recipe for target 'fast-rebuild-clean' failed make: *** [fast-rebuild-clean] Error 1 Le dimanche 1

[sage-devel] Re: Docker images

2020-11-15 Thread Frédéric Chapoton
This will depend on when https://trac.sagemath.org/ticket/30874 will be merged. And even still, there may be some other bad surprises in the build process Le dimanche 15 novembre 2020 à 09:53:11 UTC+1, Marc Mezzarobba a écrit : > Dima Pasechnik wrote: > > hopefully everything needed to fix dock

[sage-devel] Re: Docker images

2020-11-15 Thread Marc Mezzarobba
Dima Pasechnik wrote: > hopefully everything needed to fix docker builds will be merged in the > coming beta. Ok, thank you! -- Marc -- 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 i