Check formatting

Lean: Run more tests #2152

Sign in to view logs

Triggered via push February 14, 2025 14:14

Alasdair

lean_c_tests

Status Success

Total duration 36s

Artifacts –

formatting.yml

on: push

Matrix: build