Format check errors should only appear in one CI job

[tgonzalezorlandoarm]

As discussed in the community meetings on the 20/06/2023, we should have the formatting check in only one CI build so that the formatting issues don't crowd out the other issues and so that all CI jobs don't fail in the same way.