Merge branch 'main' of github.com:dolthub/dolt into main

This commit is contained in:
Max Hoffman
2023-02-28 11:28:10 -08:00
+4
View File
@@ -49,12 +49,16 @@ jobs:
- name: Run bench
id: bench
run: |
dolt config --global --add user.email "merge-perf@dolthub.com"
dolt config --global --add user.name "merge-perf"
gw=$GITHUB_WORKSPACE
DATADIR=$gw/data
RESULTS=$gw/results.sql
echo "CREATE TABLE ${{env.RESULT_TABLE_NAME }} (name varchar(50) primary key, table_cnt int, run_cnt int, add_cnt int, delete_cnt int, update_cnt int, conflict_cnt int, fks bool, latency float);" >> $RESULTS
ROW_NUM=1000000
TABLE_NUM=2
names=('adds_only' 'deletes_only' 'updates_only' 'adds_updates_deletes')
adds=(60000 0 0 60000)