I don't see the problem here: https://gitlab.com/petsc/petsc/-/jobs/757483850
- [petsc-dev] CI failure? Mark Adams
- Re: [petsc-dev] CI failure? Matthew Knepley
- Re: [petsc-dev] CI failure? Satish Balay via petsc-dev
I don't see the problem here: https://gitlab.com/petsc/petsc/-/jobs/757483850