fix: conv => arg n
to handle .subsingletonInst
#4088
copyright-header.yml
on: pull_request
check-lean-files
24s