Update core checker to ignore trace files #14
rawalexeci.yml
on: push
git-secrets
1m 43s
formatting
29s
spell-check
1m 44s
doxygen
4m 41s
verify-manifest
2m 34s
memory-statistics
2m 51s
proof_ci
0s