Skip to content

Lean: keep type vars in type abbreviations #2165

Lean: keep type vars in type abbreviations

Lean: keep type vars in type abbreviations #2165

Triggered via push February 13, 2025 17:13
Status Success
Total duration 23m 56s
Artifacts 3

coverage.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
code-coverage
1.32 MB
event.json
2.06 KB
test-results
12.3 KB