This was merged in 10.4.beta6, so the "CI Fix" label can now be used.
On Monday, May 6, 2024 at 11:54:51 AM UTC-7 Matthias Koeppe wrote: > 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/732d9a12-be0e-4211-becd-9fe349babdf4n%40googlegroups.com.