[petsc-dev] Failure of mergecov

[Barry Smith]

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.

  Barry


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