Re: [sage-devel] Re: VOTE: Use "CI Fix" label for merging into continuous integration runs

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 > on github. I >

Re: [sage-devel] Re: VOTE: Use "CI Fix" label for merging into continuous integration runs

This vote has passed, and I've added a "CI Fix" label 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

[sage-devel] Re: VOTE: Use "CI Fix" label for merging into continuous integration runs

+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] Re: VOTE: Use "CI Fix" label for merging into continuous integration runs

+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

[sage-devel] Re: VOTE: Use "CI Fix" label for merging into continuous integration runs

+1 On Monday, March 4, 2024 at 5:43:47 PM UTC+9 David Roe wrote: > The following proposal has been made several times the last few weeks: in > PR #37428 , in this thread > and then in this >

[sage-devel] Re: VOTE: Use "CI Fix" label for merging into continuous integration runs

+1 -- 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

[sage-devel] Re: VOTE: Use "CI Fix" label for merging into continuous integration runs

+1 -- 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

[sage-devel] Re: VOTE: Use "CI Fix" label for merging into continuous integration runs

+1 On Monday, March 4, 2024 at 12:43:47 AM UTC-8 David Roe wrote: > The following proposal has been made several times the last few weeks: in > PR #37428 , in this thread > and then in this >

[sage-devel] Re: VOTE: Use "CI Fix" label for merging into continuous integration runs

+1 -- 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