Skip to content
Test matrix

Lean: Change loops to use native lean loops #228

# to view logs

Lean: Change loops to use native lean loops

Lean: Change loops to use native lean loops #228

build (5.2.1, ubuntu-24.04, typecheck)

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