Check formatting

Lean: omit type abbreviations and leave a comment instead #2072

Sign in to view logs

Triggered via pull request February 12, 2025 14:07

javra

synchronize #983

javra:lean/type_abbreviations

Status Success

Total duration 49s

Artifacts –

formatting.yml

on: pull_request

Matrix: build