Check formatting

CI: Remove new test from lean/sv suites #194

Sign in to view logs

Triggered via push February 18, 2025 16:07

Alasdair

lean/early_return

Status Success

Total duration 36s

Artifacts –

formatting.yml

on: push

Matrix: build