Fix header check fail in the demo files #315
kar-rahul-awsci.yml
on: push
git-secrets
1m 8s
formatting
35s
spell-check
2m 48s
doxygen
1m 23s
verify-manifest
1m 45s
memory-statistics
2m 39s
proof_ci
0s