feat: better #eval
command
#5305
copyright-header.yml
on: pull_request
check-lean-files
30s
#eval
command
#5305