Skip to content

Rename max_log_size to lifting_log_size.#1289

Open
leo-starkware wants to merge 3 commits intoliftedfrom
leo/rename_max_log_size
Open

Rename max_log_size to lifting_log_size.#1289
leo-starkware wants to merge 3 commits intoliftedfrom
leo/rename_max_log_size

Commits

Commits on Dec 21, 2025