chore(ariadne): remove obsolete extraction script

2026-09-08 19:15:14 -04:00
parent 4f0512832b
commit 01f47b419d
5 changed files with 47 additions and 344 deletions
--- a/src/ariadne/BUILD
+++ b/src/ariadne/BUILD
@@ -13,8 +13,3 @@ rust_binary(
    deps = [":ariadne_lib"],
 )

-sh_binary(
-    name = "extract_and_decompile",
-    srcs = ["extract-and-decompile.sh"],
-    data = ["extract-tools.nix"],
-)