I have a failure here but I can't see what the problem is: https://gitlab.com/petsc/petsc/-/jobs/755956828 Am I missing something? Thanks, Mark -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20200924/18c4ee20/attachment.html>