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

+1 - DLD On 03:43 Mon 04 Mar 2024, 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 thread

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

+1 On Mon, 4 Mar 2024 at 20:21, G. M.-S. wrote: > > > +1 > > Guillermo > > On Mon, 4 Mar 2024 at 09:43, 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 thread. It is orthogonal to the >> ongoing

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

+1 Guillermo On Mon, 4 Mar 2024 at 09:43, 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 > thread

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

+1 On Mon, Mar 4, 2024 at 8:03 AM Edgar Costa wrote: > +1 > > On Mon, Mar 4, 2024, 10:49 Giacomo Pope wrote: > >> +1 >> >> On Monday, March 4, 2024 at 1:57:48 PM UTC Dima Pasechnik wrote: >> >>> +1 >>> >>> On Mon, Mar 4, 2024 at 8:43 AM David Roe wrote: >>> The following proposal has

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

+1 On Mon, Mar 4, 2024, 10:49 Giacomo Pope wrote: > +1 > > On Monday, March 4, 2024 at 1:57:48 PM UTC Dima Pasechnik wrote: > >> +1 >> >> On Mon, Mar 4, 2024 at 8:43 AM David Roe wrote: >> >>> The following proposal has been made several times the last few weeks: >>> in PR #37428

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

+1 On Monday, March 4, 2024 at 1:57:48 PM UTC Dima Pasechnik wrote: > +1 > > On Mon, Mar 4, 2024 at 8:43 AM David Roe wrote: > >> The following proposal has been made several times the last few weeks: in >> PR #37428 , in this thread >>

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

+1 On Mon, Mar 4, 2024 at 8:43 AM 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 > thread

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

The following proposal has been made several times the last few weeks: in PR #37428 , in this thread and then in this thread . It is