formal verification

Add IERC721MultiMetadata extension #4080

Sign in to view logs

Triggered via pull request April 27, 2024 08:46

0xGh

synchronize #4456

0xGh:IERC721MultiMetadata

Status Success

Total duration 16s

Artifacts –

formal-verification.yml

on: pull_request