Skip to content

Lean: fix generated lean projects #1615

Lean: fix generated lean projects

Lean: fix generated lean projects #1615

Annotations

1 warning

build (5.0.0, ubuntu-latest, 0.26.0)

succeeded Dec 16, 2024 in 23s