I don't see the problem here: https://gitlab.com/petsc/petsc/-/jobs/757483850 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20200925/73a5b57a/attachment.html>