I just learned about

make format_check

. Is it different than the azure pipeline invocation? Why have both?