Update certora-cli to 7.3.0 #5021
Draft
Netlify / Header rules - openzeppelin-contracts-docs
succeeded
Apr 24, 2024 in 1m 5s
1 header rule processed
All header rules processed without errors.
Loading