Move external tests files to tests/external/

2026-08-22 23:04:29 +00:00 · 2026-07-02 10:39:59 -04:00
parent 5e8a6cde20
commit 04b9c7fa3d
11 changed files with 42 additions and 40 deletions
@@ -6,7 +6,7 @@ make coverage -j

 # Run the tests
 pushd test
-./fetch-test-deps.sh
+external/fetch-repos.sh
 if [[ $# -eq 0 ]]; then
  ./run-tests.sh
 else