From 8f49d10eb0849ebf7e7a2abe6be9a34d15f1d546 Mon Sep 17 00:00:00 2001 From: James Cor Date: Thu, 7 Dec 2023 10:45:44 -0800 Subject: [PATCH] increase correctness precision (#7117) Co-authored-by: James Cor --- .../scripts/sql-correctness/get-dolt-correctness-job-json.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/scripts/sql-correctness/get-dolt-correctness-job-json.sh b/.github/scripts/sql-correctness/get-dolt-correctness-job-json.sh index 525afe75f4..d18a88c4b3 100755 --- a/.github/scripts/sql-correctness/get-dolt-correctness-job-json.sh +++ b/.github/scripts/sql-correctness/get-dolt-correctness-job-json.sh @@ -15,7 +15,7 @@ actorprefix="$5" format="$6" nomsBinFormat="$7" -precision="4" +precision="6" if [ -n "$nomsBinFormat" ]; then nomsBinFormat="\"--noms-bin-format=$nomsBinFormat\","