Check formatting

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

Sign in to view logs

Triggered via pull request February 12, 2025 12:15

javra

opened #983

javra:lean/type_abbreviations

Status Failure

Total duration 45s

Artifacts –

formatting.yml

on: pull_request

Matrix: build

Annotations

4 errors and 1 notice

build (5.0.0, ubuntu-latest, 0.26.0)

Process completed with exit code 1.

bitfield.sail with error: /#L0

./lean/tests.xml

register_vector.sail with error: /#L0

./lean/tests.xml

typedef.sail with error: /#L0

./lean/tests.xml

764 tests found

There are 764 tests, see "Raw output" for the full list of tests.