formal verification

Update dependency certora-cli to v7 #4146

Sign in to view logs

Triggered via pull request May 15, 2024 18:57

synchronize #4957

renovate/certora-cli-7.x

Status Success

Total duration 14s

Artifacts –

formal-verification.yml

on: pull_request