formal verification

Compatible with 4.0.0, custom proxyAdmin upgrade contract #4129

Sign in to view logs

Triggered via pull request May 14, 2024 14:14

Smilestate

opened #5043

Smilestate:master

Status Success

Total duration 14s

Artifacts –

formal-verification.yml

on: pull_request