mirror/dolt
1
0
Fork 0
mirror of https://github.com/dolthub/dolt.git synced 2026-04-22 11:29:06 -05:00
Code Issues Packages Projects Releases 156 Wiki Activity

/.github/scripts/sql-correctness/get-dolt-correctness-job-json.sh: change correctness precision

Browse Source
This commit is contained in:
coffeegoddd
2023-10-11 09:38:36 -07:00
parent fbe522d358
commit 3f0d9a06e8
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.github/scripts/sql-correctness/get-dolt-correctness-job-json.sh
+1 -1
View File
@@ -15,7 +15,7 @@ actorprefix="$5"
format="$6"
nomsBinFormat="$7"
precision="2"
precision="4"
if [ -n "$nomsBinFormat" ]; then
nomsBinFormat="\"--noms-bin-format=$nomsBinFormat\","