Remove test directories

bb8ee1bf3725ca0807134e8750db6059fa640d4c
Certora · Jan 21, 2025 · 0225763 · 0225763
1 parent 6856057
commit 0225763
Showing 3 changed files with 2 additions and 1 deletion.
diff --git a/scripts/git-mirror.sh b/scripts/git-mirror.sh
@@ -20,5 +20,7 @@ for commit in $REVISIONS; do
 
     OLD_MESSAGE="$(git log --format=%B -n 1 HEAD)"
     # Add private hash to the commit message
+    rm -rf tests_delete cloud-test-private
+    git add -A 
     git commit --amend -m "$OLD_MESSAGE" -m "$commit"
 done
diff --git a/tests_delete/.gitkeep b/tests_delete/.gitkeep
diff --git a/tests_delete/yoav_test.txt b/tests_delete/yoav_test.txt