Skip to content
formal verification

Use Ownable in VestingWallet instead of an immutable beneficiary #1981

Sign in to view logs

Use Ownable in VestingWallet instead of an immutable beneficiary

Use Ownable in VestingWallet instead of an immutable beneficiary #1981

Triggered via pull request August 4, 2023 21:06
@ernestognwernestognw
synchronize #4508
ernestognw:fix/1b-m-06
Status Success
Total duration 15s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
3s
apply-diff
verify
0s
verify
Fit to window
Zoom out
Zoom in