Check formatting

Lean: fix list torture test (#1117) #2528

Sign in to view logs

Triggered via push March 7, 2025 14:02

bacam

sail2

Status Success

Total duration 40s

Artifacts –

formatting.yml

on: push

Matrix: build