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.

Reply via email to