formal verification

Update dependency certora-cli to v7 #6034

Sign in to view logs

Triggered via pull request February 5, 2025 18:07

synchronize #4957

renovate/certora-cli-7.x

Status Success

Total duration 1m 16s

Artifacts –

formal-verification.yml

on: pull_request