Skip to content
formal verification

Add VestingWalletWithCliff #3576

Sign in to view logs

Add VestingWalletWithCliff

Add VestingWalletWithCliff #3576

Triggered via pull request February 9, 2024 21:49
@AmxxAmxx
synchronize #4870
Amxx:feature/finance/vesting-wallet-with-cliff
Status Success
Total duration 14s
Artifacts –

formal-verification.yml

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