formal verification

fix(proxy): add zero address validation for proxy parameter #9239

Sign in to view logs

Triggered via pull request January 3, 2026 13:59

opened #6257

DeVikingMark:fix/proxy-admin-zero-address-check

Status Success

Total duration 6m 31s

Artifacts –

formal-verification.yml

on: pull_request