Skip to content
Check formatting

Lean: Change loops to use native lean loops #2419

# to view logs

Lean: Change loops to use native lean loops

Lean: Change loops to use native lean loops #2419

Triggered via pull request February 28, 2025 10:18
@lfrenotlfrenot
synchronize #1086
lfrenot:lean/early_return_to_throw
Status Success
Total duration 1m 34s
Artifacts –

formatting.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in