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 <[email protected]> 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/>