Coding Style

Loosen constraint on Lean Mapper version #38

Sign in to view logs

Triggered via push September 15, 2025 12:38

mibk

master

Status Success

Total duration 19s

Artifacts –

coding-style.yml

on: push

Code Standard Checker