[sledge] Do not auto-promote test results

Summary: Change in workflow to avoid https://github.com/ocaml-ppx/ocamlformat/issues/649 Reviewed By: mbouaziz Differential Revision: D14323548 fbshipit-source-id: e4f7a0dc8
6 years ago · 0ff3925ea6
parent 89e2e30fb2
commit 0ff3925ea6
1 changed files with 4 additions and 0 deletions
--- 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