Skip to content
Check formatting

Lean: add monad declaration in files without register use #1912

Sign in to view logs

Lean: add monad declaration in files without register use

Lean: add monad declaration in files without register use #1912

build (5.0.0, ubuntu-latest, 0.26.0)

build (5.0.0, ubuntu-latest, 0.26.0)
succeeded Jan 30, 2025 in 25s