Skip to content
Check for copyright header

fix: handle dot notation on local variables in grind parameters #20988

Sign in to view logs

fix: handle dot notation on local variables in grind parameters

fix: handle dot notation on local variables in grind parameters #20988

Triggered via pull request December 10, 2025 04:08
@kim-emkim-em
opened #11573
fix-grind-dot-notation-params
Status Success
Total duration 57s
Artifacts –

copyright-header.yml

on: pull_request
check-lean-files
53s
check-lean-files
Fit to window
Zoom out
Zoom in