Skip to content

Actions: logos-co/staking

Actions

Add issue to task board

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add-issue-to-project-board.yml
42 workflow runs
42 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add certora rule that ensures correct MP estimation for any given stake time Add issue to task board #17: Issue #104 opened by 0x-r4bbit
September 9, 2024 08:39 15s
September 9, 2024 08:39 15s
EPIC: Multiplier points calculation Add issue to task board #16: Issue #100 opened by 0x-r4bbit
August 13, 2024 13:38 11s
August 13, 2024 13:38 11s
Remove functionality to add additional stake into existing vault Add issue to task board #15: Issue #99 opened by 0x-r4bbit
August 13, 2024 13:38 13s
August 13, 2024 13:38 13s
Ensure multiplier points calculation is preserved across migrations Add issue to task board #14: Issue #98 opened by 0x-r4bbit
August 13, 2024 13:35 10s
August 13, 2024 13:35 10s
Epoch totalSupply is not properly updated retroactively Add issue to task board #13: Issue #91 opened by 0x-r4bbit
April 22, 2024 08:08 11s
April 22, 2024 08:08 11s
Fill out missing tests Add issue to task board #12: Issue #88 opened by 0x-r4bbit
March 15, 2024 12:21 14s
March 15, 2024 12:21 14s
Share common certora utility functions and helpers across spec files Add issue to task board #11: Issue #87 opened by 0x-r4bbit
March 13, 2024 12:24 15s
March 13, 2024 12:24 15s
Decide on whether or not to combine initial and bonus multiplier points in max MP calculation Add issue to task board #10: Issue #83 opened by 0x-r4bbit
March 11, 2024 14:46 10s
March 11, 2024 14:46 10s
"MultiplierPoints can't be greater than maximum Multiplierpoints" invariant does not hold Add issue to task board #9: Issue #80 opened by 0x-r4bbit
March 11, 2024 11:25 11s
March 11, 2024 11:25 11s
Lock and Stake _time parameter is confusing Add issue to task board #8: Issue #79 opened by 3esmit
March 5, 2024 14:07 12s
March 5, 2024 14:07 12s
Make the prover pass on CI Add issue to task board #7: Issue #77 opened by 0x-r4bbit
March 4, 2024 14:32 13s
March 4, 2024 14:32 13s
Introduce deploy script for stakemanager migration Add issue to task board #6: Issue #71 opened by 0x-r4bbit
February 28, 2024 12:16 10s
February 28, 2024 12:16 10s
Add tests to improve coverage of existing functionality Add issue to task board #5: Issue #68 opened by 3esmit
February 26, 2024 17:19 13s
February 26, 2024 17:19 13s
Fix division precision loss Add issue to task board #4: Issue #64 opened by 3esmit
February 23, 2024 14:17 11s
February 23, 2024 14:17 11s
Set MIN_LOCKUP_PERIOD to 2 weeks Add issue to task board #3: Issue #62 opened by 0x-r4bbit
February 21, 2024 13:38 11s
February 21, 2024 13:38 11s
Migration system does not support more than one migration Add issue to task board #2: Issue #61 opened by 3esmit
February 21, 2024 05:50 11s
February 21, 2024 05:50 11s
The multiplier point logic is confusing and wrong Add issue to task board #1: Issue #51 opened by 3esmit
February 18, 2024 18:14 13s
February 18, 2024 18:14 13s