From 616db895c08cc141254ba195fa3af69c939b547b Mon Sep 17 00:00:00 2001 From: xvw Date: Wed, 19 Jun 2024 13:15:01 +0200 Subject: [PATCH] Tweak coverage instrumentation --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 8afdbd1b7..61e9fa1a6 100644 --- a/Makefile +++ b/Makefile @@ -105,5 +105,5 @@ coverage-deps: .PHONY: test-coverage test-coverage: - dune build --instrument-with bisect_ppx --force @lsp/test/runtest @lsp-fiber/runtest @jsonrpc-fiber/runtest @ocaml-lsp-server/runtest + dune build -j 1 --instrument-with bisect_ppx --force @lsp/test/runtest @lsp-fiber/runtest @jsonrpc-fiber/runtest @ocaml-lsp-server/runtest bisect-ppx-report send-to Coveralls