Skip to content

Lean: fix indentation of match blocks (#966) #2095

Lean: fix indentation of match blocks (#966)

Lean: fix indentation of match blocks (#966) #2095

Triggered via push February 11, 2025 11:13
Status Success
Total duration 24m 48s
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.08 KB
test-results
12.2 KB