Skip to content

Bump toolchain to v4.35.0 - #736

Open
zhikaip wants to merge 5 commits into
teorth:mainfrom
zhikaip:bump-lean-v4.35.0
Open

zhikaip wants to merge 5 commits into
teorth:mainfrom
zhikaip:bump-lean-v4.35.0

Use kw! instead of lit for the ≤ docstring roles

519c26b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
build
succeeded Oct 18, 2026 in 8m 42s