Merge branch 'jolivet/forbidden-empty-output-files' into 'main'checkbadSource: forbid empty output_file not named output/empty.outSee merge request petsc/petsc!8588
checkbadSource: forbid empty output_file not named output/empty.out