On Fri, Dec 6, 2019 at 3:56 PM Rob Clark wrote:
>
> On Fri, Dec 6, 2019 at 3:46 PM Bas Nieuwenhuizen
> wrote:
> >
> > On Fri, Dec 6, 2019 at 10:49 AM Michel Dänzer wrote:
> > >
> > >
> > > I just merged
> > > https://gitlab.freedesktop.org/mesa/mesa/merge_requests/2794 , which
> > > affects peop
On Fri, Dec 6, 2019 at 3:46 PM Bas Nieuwenhuizen
wrote:
>
> On Fri, Dec 6, 2019 at 10:49 AM Michel Dänzer wrote:
> >
> >
> > I just merged
> > https://gitlab.freedesktop.org/mesa/mesa/merge_requests/2794 , which
> > affects people who want to run the CI pipeline on personal Mesa branches:
> >
> >
On Fri, Dec 6, 2019 at 10:49 AM Michel Dänzer wrote:
>
>
> I just merged
> https://gitlab.freedesktop.org/mesa/mesa/merge_requests/2794 , which
> affects people who want to run the CI pipeline on personal Mesa branches:
>
> Pushing changes to a personal branch now always creates a pipeline, but
>
I just merged
https://gitlab.freedesktop.org/mesa/mesa/merge_requests/2794 , which
affects people who want to run the CI pipeline on personal Mesa branches:
Pushing changes to a personal branch now always creates a pipeline, but
none of the jobs in it run by default. (There are no longer any spec
