Check formatting

Lean: fix lets that use tuples #2053

Sign in to view logs

Triggered via push February 11, 2025 16:21

Alasdair

sail2

Status Success

Total duration 44s

Artifacts –

formatting.yml

on: push

Matrix: build