use short SHA instead of long SHA in directory name

Author: emilykl

.github/workflows/upload-dev-build.yml

@@ -47,13 +47,15 @@ jobs:
             echo "Fetching latest SHA for PR #$PR_NUM..."
             SHA=$(gh pr view "$PR_NUM" --repo ${{ github.repository }} --json headRefOid --template '{{.headRefOid}}')
           fi
+          SHORT_SHA=${SHA::7}
 
           echo "Using SHA: $SHA"
-          mkdir -p "upload/pr-$PR_NUM/$SHA"
-          cp temp-dist/plotly.js "upload/pr-$PR_NUM/$SHA/plotly.js"
-          cp temp-dist/plotly.min.js "upload/pr-$PR_NUM/$SHA/plotly.min.js"
-          cp temp-dist/plot-schema.json "upload/pr-$PR_NUM/$SHA/plot-schema.json"
-          cp -r "upload/pr-$PR_NUM/$SHA/" "upload/pr-$PR_NUM/latest/"
+          echo "Short SHA: $SHORT_SHA"
+          mkdir -p "upload/pr-$PR_NUM/$SHORT_SHA"
+          cp temp-dist/plotly.js "upload/pr-$PR_NUM/$SHORT_SHA/plotly.js"
+          cp temp-dist/plotly.min.js "upload/pr-$PR_NUM/$SHORT_SHA/plotly.min.js"
+          cp temp-dist/plot-schema.json "upload/pr-$PR_NUM/$SHORT_SHA/plot-schema.json"
+          cp -r "upload/pr-$PR_NUM/$SHORT_SHA/" "upload/pr-$PR_NUM/latest/"
 
           UPLOAD_DIR_PATH=$(pwd)/upload/
 
@@ -62,7 +64,7 @@ jobs:
 
           echo "PR_NUM=$PR_NUM" >> $GITHUB_OUTPUT
           echo "SHA=$SHA" >> $GITHUB_OUTPUT
-          echo "SHORT_SHA=${SHA::7}" >> $GITHUB_OUTPUT
+          echo "SHORT_SHA=$SHORT_SHA" >> $GITHUB_OUTPUT
 
       - name: Generate GitHub App token
         id: generate-token