chore(deps): update dependency certora-cli to v8.18.0 - #423
Open
renovate[bot] wants to merge 1 commit into
Open
GitHub Advanced Security / CodeQL
succeeded
Aug 8, 2026 in 3s
No new alerts in code changed by this pull request
Loading