Skip to content
Back to pull request #1086

Lean: Change loops to use native lean loops #235

# to view logs

Lean: Change loops to use native lean loops

Lean: Change loops to use native lean loops #235

build (5.2.1, ubuntu-24.04, typecheck)

build (5.2.1, ubuntu-24.04, typecheck)
succeeded Feb 28, 2025 in 5m 29s