chore: further shake improvements
#19164
copyright-header.yml
on: pull_request
check-lean-files
15s
shake improvements
#19164