Add script to check custom errors for duplicates in repo (tooling) #3314
formal-verification.yml
on: pull_request
apply-diff
5s
verify
0s