diff --git a/lakefile.lean b/lakefile.lean
index 40c5a25..095cfe7 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -3,7 +3,7 @@ open Lake DSL System
 
 package LeanInfer {
   precompileModules := true
-  buildType := BuildType.debug  -- TODO: Change to release.
+  buildType := BuildType.release
   moreLinkArgs := #["-lonnxruntime", "-lstdc++"]
 }