Check for copyright header

chore: make `extCore` and `customEliminators` public for Batteries #18828

Sign in to view logs

Triggered via pull request October 15, 2025 22:52

kim-em

opened #10799

extCore_public

Status Success

Total duration 46s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files