formal verification

Add VestingWalletWithCliff #3577

Sign in to view logs

Triggered via pull request February 9, 2024 21:49

Amxx

synchronize #4870

Amxx:feature/finance/vesting-wallet-with-cliff

Status Success

Total duration 12s

Artifacts –

formal-verification.yml

on: pull_request