diff --git a/sledge/Makefile b/sledge/Makefile
index 43aedc30e..8f6dc4da4 100644
--- a/sledge/Makefile
+++ b/sledge/Makefile
@@ -49,6 +49,10 @@ watch: setup
 test: setup
 	dune build @_build/dev/runtest --auto-promote
 
+.PHONY: ci-test
+ci-test: setup
+	dune build @_build/dev/runtest
+
 BISECT_DIR = $(CURDIR)/_coverage/out
 
 .PHONY: coverage