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

cannot use github workspace as working dir

Browse Source
This commit is contained in:
Max Hoffman
2023-02-27 13:02:13 -08:00
parent 13f1f33953
commit 1c43ea6fa4
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.github/workflows/merge-perf.yaml
+5 -5
View File
@@ -42,22 +42,22 @@ jobs:
- name: Run bench
id: bench
working-directory: $GITHUB_WORKSPACE
run: |
DATADIR=$GITHUB_WORKSPACE/data
gw=$GITHUB_WORKSPACE
DATADIR=$gw/data
TABLE_NUM=2
ROW_NUM=1000000
ADD_NUM=60000
python ${{ env.SCRIPT_DIR }}/data.py $DATADIR $TABLE_NUM $ROW_NUM $ADD_NUM
TMPDIR=$GITHUB_WORKSPACE/tmp
TMPDIR=$gw/tmp
./${{ env.SCRIPT_DIR}}/setup.sh $TMPDIR $DATADIR
TIMES=$GITHUB_WORKSPACE/time.log
TIMES=$gw/time.log
cd $TMPDIR
time dolt merge main &>$TIMES
RESULTS=$GITHUB_WORKSPACE/results.sql
RESULTS=$gw/results.sql
echo "time test"
time -f "%E" sleep 1