Fix test cases

962df463a29e6b4d6000a55e2cbcf03bc0595756
Certora · Jan 21, 2025 · 32a00c7 · 32a00c7
1 parent f779544
commit 32a00c7
Show file tree

Hide file tree

Showing 5 changed files with 3 additions and 6 deletions.
diff --git a/test_delete/test_file_20250121134538.txt b/test_delete/test_file_20250121134538.txt
diff --git a/test_delete/test_file_20250121134758.txt b/test_delete/test_file_20250121134758.txt
diff --git a/test_delete/test_file_20250121135221_mix.txt b/test_delete/test_file_20250121135221_mix.txt
diff --git a/tests/mixed_addition.sh b/tests/mixed_addition.sh
@@ -15,7 +15,7 @@ git clean -fd
 # Create mixed branch, add files, and push
 mixed_branch="${BRANCH_PREFIX}-${DATE}"
 feature_file="feature_file_${DATE}_mix.txt"
-test_file="test_delete/test_file_${DATE}_mix.txt"
+test_file="tests_delete/test_file_${DATE}_mix.txt"
 
 echo "Creating branch: $mixed_branch"
 git checkout -b $mixed_branch

diff --git a/tests/test_addition.sh b/tests/test_addition.sh
@@ -14,7 +14,7 @@ git clean -fd
 
 # Create test branch, add test file, and push
 test_branch="${BRANCH_PREFIX}-${DATE}"
-test_file="test_delete/test_file_${DATE}.txt"
+test_file="tests_delete/test_file_${DATE}.txt"
 
 echo "Creating branch: $test_branch"
 git checkout -b $test_branch
@@ -33,4 +33,4 @@ echo "Opening a PR for branch: $test_branch"
 gh pr create --base $MAIN_BRANCH --head $test_branch --title "Add test file" --body "This PR adds a test file under test_delete."
 
 echo "Merging the PR..."
-gh pr merge --squash --delete-branch --auto
+gh pr merge --squash --delete-branch