Check for copyright header

chore: remove `LEAN_LAZY_RC` #30304

Sign in to view logs

Triggered via pull request September 3, 2026 12:51

TwoFX

opened #15006

TwoFX:julia/lazy-rc

Status Success

Total duration 45s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files