Check for copyright header

test: avoid testing colliding private inductives #19382

Sign in to view logs

Triggered via pull request October 31, 2025 17:24

Kha

opened #11041

Kha:push-nvqwkutmxzlu

Status Success

Total duration 39s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files