Dependency Review

Certora formal verification rules (#1069) #1394

Sign in to view logs

Triggered via pull request December 18, 2025 08:17

opened #1072

feat/certora-fv

Status Success

Total duration 11s

Artifacts –

dependency-review.yml

on: pull_request

dependency-review