Call check_proof_attribute
for contract harnesses
#8120
format-check.yml
on: pull_request
format-check
12s
clippy-check
1m 58s
check_proof_attribute
for contract harnesses
#8120