From ec1e9292a887dbb96668f75c1bc86f795ce1c780 Mon Sep 17 00:00:00 2001 From: Oliver Reiche Date: Fri, 2 Jun 2023 10:12:31 +0200 Subject: doc: Minor format and consistency improvements --- doc/tutorial/tests.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/tutorial/tests.md') diff --git a/doc/tutorial/tests.md b/doc/tutorial/tests.md index 138769b1..f4d8897c 100644 --- a/doc/tutorial/tests.md +++ b/doc/tutorial/tests.md @@ -93,7 +93,7 @@ be provided. By specifying the appropriate target in this module the default test runner can be overwritten by a different test runner fom the rule's workspace root. Moreover, all test targets share runner infrastructure from `shell/test`, e.g., summarizing multiple runs per -test (to detect flakyness) if the configuration variable `RUNS_PER_TEST` +test (to detect flakiness) if the configuration variable `RUNS_PER_TEST` is set. However, in our case, we want to use the default runner and therefore it -- cgit v1.2.3