no error for rmdir

This commit is contained in:
Max Hoffman
2023-02-27 13:06:38 -08:00
parent 1c43ea6fa4
commit 81bc6e6e80
2 changed files with 5 additions and 3 deletions

View File

@@ -14,7 +14,9 @@ adds = int(sys.argv[4])
if __name__=="__main__":
if not os.path.exists(table_dir):
os.rmdir(table_dir)
try:
os.rmdir(table_dir)
except:
os.makedirs(table_dir)
ys = [i for i in range(rows+adds)]

View File

@@ -1,4 +1,4 @@
name: Run Systab Benchmark on Pull Requests
name: Run Merge Benchmark on Pull Requests
on:
pull_request:
@@ -45,7 +45,7 @@ jobs:
runs-on: ubuntu-22.04
needs: [validate-commentor, check-comments]
if: ${{ needs.check-comments.outputs.benchmark == 'true' }}
name: Trigger Benchmark Systab Workflow
name: Trigger Benchmark Merge Workflow
steps:
- uses: dolthub/pull-request-comment-branch@v3
id: comment-branch