Actions: vacp2p/staking-reward-streamer
Actions
82 workflow runs
82 workflow runs
accountMPGreaterEqualsAccountBalance
invariant
CI
#79:
Commit b79deb7
pushed
by
0x-r4bbit
accountMPGreaterEqualsAccountBalance
invariant
CI
#78:
Pull request #47
synchronize
by
0x-r4bbit
maxMP
instead of
CI
#77:
Commit 59f2566
pushed
by
0x-r4bbit
accountMPGreaterEqualsAccountBalance
invariant
CI
#75:
Pull request #47
synchronize
by
0x-r4bbit
maxMP
instead of potentialMP
CI
#74:
Pull request #45
synchronize
by
0x-r4bbit
maxMP
instead of potentialMP
CI
#73:
Pull request #45
synchronize
by
0x-r4bbit
accountMPGreaterEqualsAccountBalance
invariant
CI
#70:
Pull request #47
synchronize
by
0x-r4bbit
maxMP
instead of potentialMP
CI
#69:
Pull request #45
synchronize
by
0x-r4bbit
sumOfBalancesIsTotalStaked
invariant
CI
#67:
Commit 3eb4aa8
pushed
by
0x-r4bbit
sumOfBalancesIsTotalStaked
invariant
CI
#63:
Pull request #42
synchronize
by
0x-r4bbit