only check for bad format in the CI, do not format

this is a followup to !46 (merged).

enabled an automatic merge when the pipeline for 607805e2 succeeds

merged

mentioned in commit 425430d7