Replaces the custom script in tools. Simplified the Makefile and GitHub Actions workflow to check style and format, instead of running individual tools separately. Ultimately, all of the formatting tools just need to be run if they fail, doesn't matter which.
Replaces the custom script in
tools
. Simplified theMakefile
and GitHub Actions workflow to check style and format, instead of running individual tools separately. Ultimately, all of the formatting tools just need to be run if they fail, doesn't matter which.Relevant issues/PRs:
Part of fatiando/community#140