Check formatting

Lean: Fix more tests (#1009) #2159

Sign in to view logs

Triggered via push February 14, 2025 15:16

Alasdair

sail2

Status Success

Total duration 39s

Artifacts –

formatting.yml

on: push

Matrix: build