Check formatting

Drop lean version prefix in the specified lean toolchain #77

Sign in to view logs

Triggered via push June 4, 2025 10:35

lean_fix_codegen

Status Success

Total duration 5m 33s

Artifacts –

formatting.yml

on: push

Matrix: build