There is script to check indentation and headers, nix/check.sh, but I'm afraid it is not called by the CI 🤔
nix/check.sh