formal verification

Update dependency certora-cli to v8.6.3 #9264

Sign in to view logs

Triggered via pull request January 6, 2026 20:48

opened #6264

renovate/certora-cli-8.x

Status Success

Total duration 6m 37s

Artifacts –

formal-verification.yml

on: pull_request