Actually run --check in CI and fix Fmt#167

mewwts merged 1 commit intomainduneanalytics/dune-client:mainfrom

fmt-for-13-2duneanalytics/dune-client:fmt-for-13-2Copy head branch name to clipboard