From 4bc5df458a6a515ba112dcf18fe7b6e5f4a71f83 Mon Sep 17 00:00:00 2001
From: Gwilym Kuiper <gw@ilym.me>
Date: Thu, 4 Aug 2022 22:23:49 +0100
Subject: [PATCH] Lint and test the tools in CI

---
 justfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/justfile b/justfile
index a95a4831..c3c1e294 100644
--- a/justfile
+++ b/justfile
@@ -9,11 +9,13 @@ build-release:
     just _build-release agb
 clippy:
     just _all-crates _clippy
+    just _clippy tools
 
 test:
     just _test-debug agb
     just _test-debug agb-fixnum
     just _test-debug-arm agb
+    just _test-debug tools
 
 test-release:
     just _test-release agb