chore: remove unused scripts

crytic · Jun 3, 2024 · 221cfc6 · 221cfc6
1 parent e2daa8a
commit 221cfc6
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 111 deletions.
diff --git a/scripts/ci_test.sh b/scripts/ci_test.sh
diff --git a/scripts/json_diff.py b/scripts/json_diff.py