commit: 7234d6477f76d48fbb0069c6b9d9502de828f9d8

[log]
author: Joachim Breitner <mail@joachim-breitner.de>

Mon Apr 06 17:14:24 2026 +0000
committer: Joachim Breitner <mail@joachim-breitner.de>

Mon Apr 06 18:14:34 2026 +0000
tree: 9a2e120dfa9421864fbb36da615ed907a78bf34a
parent: f3348db41a50da554f32fc1ced61798bbe8bcdef [diff]

perf: eliminate checkSystemInterval overhead when disabled

Skip the FFI call to lean_check_system_interval entirely when
LEAN_CHECK_SYSTEM_INTERVAL_MS is unset by checking a builtin_initialize'd
Bool flag inline.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

2 files changed

tree: 9a2e120dfa9421864fbb36da615ed907a78bf34a

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.