Coding Style

Loosen constraint on Lean Mapper version #37

Sign in to view logs

Triggered via push September 15, 2025 12:36

mibk

rc

Status Success

Total duration 19s

Artifacts –

coding-style.yml

on: push

Code Standard Checker