Also run clippy with release mode

[skip ci]
2025-04-30 14:34:28 +02:00 · 2025-03-02 23:14:46 -08:00 · 2025-03-02 23:14:46 -08:00 · 2b47d47215
commit 2b47d47215
parent 0e82df9e10
1 changed files with 1 additions and 0 deletions
--- 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("..", ".."))