formal verification

Start Vesting right after cliff ends in VestingWalletCliff #4782

Sign in to view logs

Triggered via pull request September 18, 2024 17:47

ernestognw

opened #5211

ernestognw:fix/l-02

Status Success

Total duration 1m 0s

Artifacts –

formal-verification.yml

on: pull_request