Check for copyright header

feat: tag linter warnings for `recordLints` #26897

Sign in to view logs

Triggered via pull request May 25, 2026 17:56

wkrozowski

opened #13844

wkrozowski:feat/linter-message-tag

Status Success

Total duration 1m 3s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files