[petsc-dev] CI error