[petsc-dev] Are pipelines down?

[Satish Balay]

For forks - a member of the developer group needs to start a new pipeline. (after basic checks on the changes)

Satish

On Thu, 11 Mar 2021, Jed Brown wrote:

> Says the pipeline was canceled. The branch comes from a fork so it should need approval to run.
> 
> https://gitlab.com/petsc/petsc/-/merge_requests/3707
> 
> Matthew Knepley <knepley at gmail.com> writes:
> 
> > https://gitlab.com/danfinn/petsc/-/pipelines/269297070
> >
> >   Thanks,
> >
> >      Matt
> >
> > -- 
> > What most experimenters take for granted before they begin their
> > experiments is infinitely more interesting than any results to which their
> > experiments lead.
> > -- Norbert Wiener
> >
> > https://www.cse.buffalo.edu/~knepley/ <http://www.cse.buffalo.edu/~knepley/>
>