Merge pull request #3925 from keplertech/signoff-single-commit

maliberty · web-flow · commit ac2b1682b3d6 · 2026-02-25T16:06:19.000Z
reduce info logging for LEC check
diff --git a/tools/kepler-formal b/tools/kepler-formal
@@ -1 +1 @@
-Subproject commit 405682c75dc8ca7edbc2ba94ebfe5bc5faaf0904
+Subproject commit a18e4d979766dfa9df5ecb43708a2e877f390eda
