From 56120d3511aeafc7e247c3602165ccc59030f28b Mon Sep 17 00:00:00 2001 From: Erik Schierboom Date: Tue, 18 Jul 2023 10:48:54 +0200 Subject: [PATCH] Update average run time (#430) * Update average run time * Update building/configlet/lint.md Co-authored-by: ee7 <45465154+ee7@users.noreply.github.com> --------- Co-authored-by: ee7 <45465154+ee7@users.noreply.github.com> --- building/configlet/lint.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/building/configlet/lint.md b/building/configlet/lint.md index 7bd07595..4df60cc5 100644 --- a/building/configlet/lint.md +++ b/building/configlet/lint.md @@ -108,7 +108,7 @@ The `config.json` file should have the following checks: - If the track is `d` or `plsql`, the `"files.solution"` and `"files.test"` files _can_ overlap - The `"files.example` and `"files.exemplar"` files _can_ overlap - The `"test_runner.average_run_time"` key is required if `"status.test_runner"` is equal to `true` -- The `"test_runner.average_run_time"` value must be a floating-point number > 0 with one decimal point of precision +- The `"test_runner.average_run_time"` value must be an integer > 0 - The `"approaches.snippet_extension"` key is required if the track has one or more approaches - The `"approaches.snippet_extension"` value must be a non-blank string¹ - The `"exercises"` key is required