Check formatting

Lean: fix parsing of hex numbers #2519

Sign in to view logs

Triggered via push March 6, 2025 17:36

Alasdair

sail2

Status Success

Total duration 40s

Artifacts –

formatting.yml

on: push

Matrix: build