Skip to content

chore: switch from lakefile.lean to lakefile.toml (#46) #318

chore: switch from lakefile.lean to lakefile.toml (#46)

chore: switch from lakefile.lean to lakefile.toml (#46) #318

Annotations

1 warning

Build

succeeded Jan 4, 2025 in 33s