mirror/dolt
1
0
Fork 0
mirror of https://github.com/dolthub/dolt.git synced 2026-03-07 18:28:39 -06:00
Code Issues Packages Projects Releases 144 Wiki Activity

/.github/scripts: use lowercase actor name in path

Browse Source
This commit is contained in:
coffeegoddd
2023-07-27 09:56:56 -07:00
parent 0bbf6332ee
commit a684a3c360
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.github/scripts/performance-benchmarking/run-benchmarks.sh vendored
View File

@@ -58,7 +58,7 @@ jobname="$jobname-$timesuffix"
timeprefix=$(date +%Y/%m/%d)
actorprefix="$MODE/$ACTOR/$jobname/$NOMS_BIN_FORMAT"
actorprefix="$MODE/$lowered/$jobname/$NOMS_BIN_FORMAT"
format="markdown"
if [[ "$MODE" = "release" || "$MODE" = "nightly" ]]; then

2
.github/scripts/sql-correctness/run-correctness.sh vendored
View File

@@ -53,7 +53,7 @@ jobname="$actorShort-$timesuffix"
timeprefix=$(date +%Y/%m/%d)
actorprefix="$MODE/$ACTOR/$jobname/$NOMS_BIN_FORMAT"
actorprefix="$MODE/$lowered/$jobname/$NOMS_BIN_FORMAT"
format="markdown"
if [[ "$MODE" = "release" || "$MODE" = "nightly" ]]; then