[petsc-dev] Failure of mergecov

Barry Smith bsmith at petsc.dev
Thu Oct 8 16:34:28 CDT 2020

git diff --name-only origin/master...' returned non-zero exit status 128.

  I did a retry, let's see if that works.

  I can protect this with a try so it won't crash CI and waste people's time. 

  I'll look at the log more closely later and see if I guess the cause.


> On Oct 8, 2020, at 3:03 PM, Matthew Knepley <knepley at gmail.com> wrote:
> Barry, I got this
>   https://gitlab.com/petsc/petsc/-/jobs/780244679 <https://gitlab.com/petsc/petsc/-/jobs/780244679>
> in this pipeline analysis
>   https://gitlab.com/petsc/petsc/-/pipelines/199842334 <https://gitlab.com/petsc/petsc/-/pipelines/199842334>
> I did not use the CI issue because this is about code.
>   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/>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20201008/5fe93cb0/attachment.html>

More information about the petsc-dev mailing list