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/> >
