circt
circt copied to clipboard
Add script to run filecheck_lint, add to CI
Script to help us/developers check this more easily themselves (some amount of -P0 -n20
or something to xargs helps make that fast, or thereabouts).
Add CI step that runs this.