[sledge] Remove --auto-promote from CI builds

Reviewed By: jberdine Differential Revision: D15779200 fbshipit-source-id: 5c2ab24b5
6 years ago · d2ee43e818
parent ad035a4cc7
commit d2ee43e818
1 changed files with 4 additions and 0 deletions
--- 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