mirror of
https://github.com/dolthub/dolt.git
synced 2026-01-30 10:45:18 -06:00
Merge pull request #1302 from dolthub/db/fix-benchmark-actor
[no-release-notes] /.github/scripts/performance-benchmarking/run-benchmarks.sh: lowercase actor
This commit is contained in:
@@ -33,7 +33,8 @@ echo "Setting to $TO_SERVER: $TO_VERSION"
|
||||
# use first 8 characters of TO_VERSION to differentiate
|
||||
# jobs
|
||||
short=${TO_VERSION:0:8}
|
||||
actorShort="$ACTOR-$short"
|
||||
lowered=$(echo "$ACTOR" | tr '[:upper:]' '[:lower:]')
|
||||
actorShort="$lowered-$short"
|
||||
|
||||
jobname="$actorShort"
|
||||
|
||||
|
||||
Reference in New Issue
Block a user