Actions: vacp2p/staking-reward-streamer
Actions
15 workflow runs
15 workflow runs
accountMPGreaterEqualsAccountBalance
invariant
Add PR task board
#11:
Pull request #47
opened
by
0x-r4bbit
maxMP
instead of potentialMP
Add PR task board
#10:
Pull request #45
opened
by
0x-r4bbit
sumOfBalancesIsTotalStaked
invariant
Add PR task board
#9:
Pull request #42
opened
by
0x-r4bbit