Check formatting

Lean: keep type vars in type abbreviations #2112

Sign in to view logs

Triggered via push February 13, 2025 17:13

Alasdair

sail2

Status Success

Total duration 45s

Artifacts –

formatting.yml

on: push

Matrix: build

Annotations

1 notice

768 tests found

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