[sledge] Revert "Do not auto-promote test results"

Summary: This reverts commit e4f7a0dc8d439561a0be7e8b33ad924195a6c441. No longer needed due to ocamlformat fix. Reviewed By: mbouaziz Differential Revision: D15098826 fbshipit-source-id: 2a4dc0f55
6 years ago · bf7ce6f117
parent 8450ac36d8
commit bf7ce6f117
1 changed files with 0 additions and 4 deletions
--- a/sledge/Makefile
+++ b/sledge/Makefile
@ -40,10 +40,6 @@ 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