feat: enable linarith even if no order is available
#14040
copyright-header.yml
on: pull_request
check-lean-files
39s