Add ignored patterns in core header check file #316
kar-rahul-awsci.yml
on: push
git-secrets
1m 8s
formatting
35s
spell-check
2m 41s
doxygen
1m 35s
verify-manifest
1m 47s
memory-statistics
2m 13s
proof_ci
0s