Merge pull request #2468 from crytic/chore/remove-unused-scripts

Chore/remove unused scripts
crytic · Jun 4, 2024 · dc767b1 · dc767b1
2 parents 7d3b73c + 221cfc6
commit dc767b1
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