mirror of
https://github.com/dolthub/dolt.git
synced 2026-01-08 16:16:45 -06:00
/.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