formal verification

update erc4626-tests submodule #5956

Sign in to view logs

Triggered via pull request January 31, 2025 21:29

daejunpark

opened #5473

daejunpark:dep/update-erc4626-tests

Status Success

Total duration 1m 19s

Artifacts –

formal-verification.yml

on: pull_request