From 016b92635e533a09b78cc84f39c7ed738d311a0e Mon Sep 17 00:00:00 2001
From: Jaisurya Nanduri <jaisnan@amazon.com>
Date: Tue, 30 Jul 2024 15:26:39 +0000
Subject: [PATCH] Delete runner temp

---
 scripts/check_kani.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/check_kani.sh b/scripts/check_kani.sh
index 938aa23b95233..d760c2aebaf95 100644
--- a/scripts/check_kani.sh
+++ b/scripts/check_kani.sh
@@ -39,4 +39,5 @@ echo
 
 # Clean up the Kani directory (optional)
 rm -rf "$KANI_DIR"
+rm -rf "$RUNNER_TEMP"
 # rm -rf "$VERIFY_RUST_STD_DIR"