Update run_pr_benchmarks.sh

uber · Aug 21, 2023 · 27e9ea7 · 27e9ea7
1 parent 992b9ab
commit 27e9ea7
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/run_pr_benchmarks.sh b/.github/workflows/run_pr_benchmarks.sh
@@ -1,9 +1,9 @@
 #!/bin/bash
 
-cd $BRANCH_NAME/
+cd "$BRANCH_NAME/" || exit
 mkdir pr
-cd pr/
-git clone --branch $BRANCH_NAME --single-branch [email protected]:$REPO_NAME.git NullAway
-cd NullAway/
+cd pr/ || exit
+git clone --branch "$BRANCH_NAME" --single-branch [email protected]:"$REPO_NAME".git NullAway
+cd NullAway/ || exit
 
 ./gradlew jmh --no-daemon