formal verification

Update dependency certora-cli to v8.6.3 #9265

Sign in to view logs

Triggered via pull request January 6, 2026 20:48

labeled #6264

renovate/certora-cli-8.x

Status Success

Total duration 13m 17s

Artifacts –

formal-verification.yml

on: pull_request