mirror/dolt
1
0
Fork 0
mirror of https://github.com/dolthub/dolt.git synced 2026-01-07 00:39:44 -06:00
Code Issues Packages Projects Releases 115 Wiki Activity

increase correctness precision (#7117)

Browse Source 
Co-authored-by: James Cor <james@dolthub.com>
This commit is contained in:
James Cor
2023-12-07 10:45:44 -08:00
committed by GitHub
parent dccf01333b
commit 8f49d10eb0
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.github/scripts/sql-correctness/get-dolt-correctness-job-json.sh vendored
View File

@@ -15,7 +15,7 @@ actorprefix="$5"
format="$6"
nomsBinFormat="$7"
precision="4"
precision="6"
if [ -n "$nomsBinFormat" ]; then
nomsBinFormat="\"--noms-bin-format=$nomsBinFormat\","