I have implemented this change in https://github.com/sagemath/sage/pull/37950, needs review.
On Wednesday, March 20, 2024 at 10:18:53 AM UTC-7 David Roe wrote: > 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....@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+...@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/4e86eea8-5931-4359-8c7b-702c5ea59a51n%40googlegroups.com.
