rename systab -> merge

This commit is contained in:
Max Hoffman
2023-02-27 13:15:52 -08:00
parent 07c9fa813c
commit c2f9bf5115
+6 -6
View File
@@ -1,4 +1,4 @@
name: Systab Benchmarks
name: Merge Benchmarks
on:
repository_dispatch:
types: [ benchmark-merge ]
@@ -80,10 +80,10 @@ jobs:
summaryq="select avg(latency) as avg from ${{ env.RESULT_TABLE_NAME }}"
out="$gw/results.csv"
dolt_dir="$gw/systab-perf"
dolt_dir="$gw/merge-perf"
dolt config --global --add user.email "systab-perf@dolthub.com"
dolt config --global --add user.name "systab-perf"
dolt config --global --add user.email "merge-perf@dolthub.com"
dolt config --global --add user.name "merge-perf"
echo '${{ secrets.DOLTHUB_IMPORT_PERF_CREDS_VALUE }}' | dolt creds import
dolt clone ${{ env.DOLTHUB_DB }} "$dolt_dir"
@@ -180,8 +180,8 @@ jobs:
with:
repo-token: ${{ secrets.GITHUB_TOKEN }}
issue: ${{ github.event.client_payload.issue_id }}
message-failure: systab benchmark failed
message-cancelled: systab benchmark cancelled
message-failure: merge benchmark failed
message-cancelled: merge benchmark cancelled
allow-repeats: true
message: |
@${{ github.event.client_payload.actor }} __DOLT__