[Supplier] Scaffold the Proof type and adjust some of the defaults
#532
Olshansk
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
reviewdog.yml
on: pull_request
Check TODO_IN_THIS_
6s
Check for non-standard interface implementation statements
9s
Check misspelling
10s