mirror of
https://github.com/dolthub/dolt.git
synced 2026-02-05 02:59:44 -06:00
Merge pull request #1254 from dolthub/db/enable-parallel-pr-benchmarks
Update PR benchmarking script
This commit is contained in:
@@ -30,11 +30,16 @@ fi
|
||||
echo "Setting from $FROM_SERVER: $FROM_VERSION"
|
||||
echo "Setting to $TO_SERVER: $TO_VERSION"
|
||||
|
||||
jobname="performance-benchmarking-$ACTOR"
|
||||
# use first 8 characters of TO_VERSION to differentiate
|
||||
# jobs
|
||||
short=${TO_VERSION:0:8}
|
||||
actorShort="$ACTOR-$short"
|
||||
|
||||
jobname="$actorShort"
|
||||
|
||||
timeprefix=$(date +%Y/%m/%d)
|
||||
|
||||
actorprefix="$MODE/$ACTOR/$TO_VERSION"
|
||||
actorprefix="$MODE/$ACTOR/$actorShort"
|
||||
|
||||
format="markdown"
|
||||
if [ "$MODE" = "release" ]; then
|
||||
|
||||
Reference in New Issue
Block a user