Remove template-only ABI files that falsely implied formal verification #27
scorecard-enforcer.yml
on: push
scorecard
39s
check-critical
6s