Check formatting

Lean: Use generated sail_model_init function #2481

Sign in to view logs

Triggered via push March 3, 2025 17:14

Alasdair

sail2

Status Success

Total duration 38s

Artifacts –

formatting.yml

on: push

Matrix: build