summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorSebastian Thiel <sebastian.thiel@icloud.com>2023-12-09 18:37:36 +0100
committerSebastian Thiel <sebastian.thiel@icloud.com>2023-12-09 18:37:36 +0100
commit606d60fa96654e030d1f82331c54f3dfa45e06b3 (patch)
tree3020aa469beb3e7811bfb7f82bd6825f82897184
parent949baf39c53060d1e5ef6df572b1cdc43a8a5cce (diff)
parent9135c18e27a75b23921f9bba4281af9543017a66 (diff)
Merge branch 'make_ready_pre_pr_checks'
-rw-r--r--Makefile5
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 5cc5356..5b633aa 100644
--- a/Makefile
+++ b/Makefile
@@ -22,6 +22,9 @@ target/release/dua: always
clippy: ## Run lints with clippy
cargo clippy -- -D warnings
+check-fmt: ## Validate that the codebase is formatted correctly (but do not format it)
+ cargo fmt --check
+
profile: target/release/dua ## run callgrind and annotate its output - linux only
valgrind --callgrind-out-file=callgrind.profile --tool=callgrind $< >/dev/null
callgrind_annotate --auto=yes callgrind.profile
@@ -52,3 +55,5 @@ journey-tests: target/debug/dua ## run stateless journey tests
continuous-journey-tests: ## run stateless journey tests whenever something changes
watchexec $(MAKE) journey-tests
+check-pre-push: check-fmt clippy tests ## Run this before pushing for a good chance that CI will be green
+