From d2ee43e818efdec1978eb607a80823c1f847b496 Mon Sep 17 00:00:00 2001 From: Timotej Kapus Date: Wed, 12 Jun 2019 05:32:49 -0700 Subject: [PATCH] [sledge] Remove --auto-promote from CI builds Reviewed By: jberdine Differential Revision: D15779200 fbshipit-source-id: 5c2ab24b5 --- sledge/Makefile | 4 ++++ 1 file changed, 4 insertions(+) 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