Delete scripts/check_kani.sh

qinheping · Nov 8, 2024 · 47c0f82 · 47c0f82
1 parent 69d8bd3
commit 47c0f82
Showing 1 changed file with 0 additions and 55 deletions.
diff --git a/scripts/check_kani.sh b/scripts/check_kani.sh