Check for copyright header

feat: add anchor support for restricting search space in `grind only` #19235

Sign in to view logs

Triggered via pull request October 29, 2025 01:05

leodemoura

opened #11003

grind_anchor_params

Status Success

Total duration 34s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files