Should be fixed in latest main - so you can try starting a new pipeline Satish
On Wed, 20 Oct 2021, Mark Adams wrote: > >
- [petsc-dev] CI is failing on two of my MRs in d... Mark Adams
- Re: [petsc-dev] CI is failing on two of my... Satish Balay via petsc-dev
