formal verification

Add VestingWalletWithCliff #3608

Sign in to view logs

Triggered via pull request February 12, 2024 20:21

Amxx

synchronize #4870

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

Status Success

Total duration 15s

Artifacts –

formal-verification.yml

on: pull_request