CI

chore(deps): update dependency certora-cli to v8.16.1 #1016

Sign in to view logs

Triggered via pull request June 19, 2026 13:16

opened #405

renovate/certora-cli-8.x

Status Success

Total duration 26s

Artifacts –

ci.yml

on: pull_request