diff --git a/sledge/Makefile b/sledge/Makefile
index 93fcc6c44..011c932ed 100644
--- a/sledge/Makefile
+++ b/sledge/Makefile
@@ -40,6 +40,10 @@ watch: setup
 
 .PHONY: test
 test: setup
+	dune build @_build/dev/runtest
+
+.PHONY: promote
+promote: setup
 	dune build @_build/dev/runtest --auto-promote
 
 BISECT_DIR=$(CURDIR)/_coverage/out