info: flow_reconfiguration: no previous manifest, creating one from scratch
info: toolchain not updated; already up-to-date
Lean (version 4.34.0-rc2, x86_64-unknown-linux-gnu, commit 6a10ac8c22beadecabdbb0919c2b50214762f91d, Release)
