Add missing proof checks and tests #1439
Merged
Cirrus CI / lint [bionic]
succeeded
Mar 26, 2025 in 2m 53s
Task Summary
Task successfully finished!
Details
✅ 00:52 clone
✅ 00:15 merge_base
✅ 01:44 lint
Loading