Skip to content

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

Lean: fix indentation of match blocks (#966)

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

build (5.2.1, ubuntu-latest)

succeeded Feb 11, 2025 in 5m 56s