This vote has passed, and I've added a "CI Fix" label <https://github.com/sagemath/sage/labels/p%3A%20CI%20Fix> on github. I am not going to have time to implement changes to our CI infrastructure in the near future, but others are welcome to do so. David
On Sun, Mar 10, 2024 at 1:37 PM seb....@gmail.com <seb.oe...@gmail.com> wrote: > +1 > > Eric Gourgoulhon schrieb am Sonntag, 10. März 2024 um 16:58:42 UTC+1: > >> +1 >> >> 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/d35c59ad-b5a6-4fb7-9a2f-8d0adc238ce3n%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/d35c59ad-b5a6-4fb7-9a2f-8d0adc238ce3n%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+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAChs6_kLCfTTP6qU4p07wjJ_suZbztSvqNfQsqeX%2BDDhSzycoA%40mail.gmail.com.
