Drop loony-tools

the tools repo is also built on ci.zw3rk.com, so we don't need to replicate it here.
input-output-hk · May 26, 2022 · f4a714f · f4a714f
1 parent 908ec7c
commit f4a714f
Showing 1 changed file with 0 additions and 8 deletions.
diff --git a/jobsets/default.nix b/jobsets/default.nix
@@ -62,7 +62,6 @@
 , purescriptWebCommonPrsJSON ? ./simple-pr-dummy.json
 , shellPrsJSON ? ./simple-pr-dummy.json
 , smashPrsJSON ? ./simple-pr-dummy.json
-, toolsPrsJSON ? ./simple-pr-dummy.json
 , typedProtocolsPrsJSON ? ./simple-pr-dummy.json
 , votingToolsPrsJSON ? ./simple-pr-dummy.json
 , walletPrsJSON ? ./simple-pr-dummy.json
@@ -412,13 +411,6 @@ let
       bors = true;
     };
 
-    tools = {
-      description = "Loony Tools";
-      url = "https://github.com/input-output-hk/tools.git";
-      branch = "master";
-      prs = toolsPrsJSON;
-    };
-
     typed-protocols = {
       description = "Robust session type framework which supports protocol pipelining.";
       url = "https://github.com/input-output-hk/typed-protocols.git";