Check for copyright header

fix: add missing `.ofNat`s in `lake translate-config` #21509

Sign in to view logs

Triggered via pull request December 22, 2025 20:09

eric-wieser

opened #11771

eric-wieser:patch-65

Status Success

Total duration 38s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files