Merge branch 'stefanozampini/bddc-mixed-poisson' into 'main'SNES ex24: add BDDC testsSee merge request petsc/petsc!7121
SNES ex24: add BDDC tests