From 2b47d47215643fa2587aab6493dd473510c1f3b6 Mon Sep 17 00:00:00 2001
From: topjohnwu <topjohnwu@gmail.com>
Date: Sun, 2 Mar 2025 23:14:46 -0800
Subject: [PATCH] Also run clippy with release mode

[skip ci]
---
 build.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build.py b/build.py
index 1c874d08e..090d32dc7 100755
--- a/build.py
+++ b/build.py
@@ -509,6 +509,7 @@ def clippy_cli():
     for triple in build_abis.values():
         cmds[3] = triple
         run_cargo(cmds)
+        run_cargo(cmds + ["--release"])
     os.chdir(Path("..", ".."))