Skip to content

Actions: logos-co/staking

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
438 workflow runs
438 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix(certora/specs): Make rules work again CI #331: Commit 99c73be pushed by 3esmit
November 15, 2024 05:40 7m 5s develop
develop
November 15, 2024 05:40 7m 5s
pages build and deployment pages-build-deployment #1: by 3esmit
November 15, 2024 05:40 59s develop
develop
November 15, 2024 05:40 59s
refactor(StakeManager): extract interfaces and rename variables to merge functionalty with StakingRewardStreamer CI #330: Pull request #150 synchronize by 3esmit
November 15, 2024 05:23 16m 51s stake-manager-interface
stake-manager-interface
November 15, 2024 05:23 16m 51s
refactor(StakeManager): extract interfaces and rename variables to merge functionalty with StakingRewardStreamer CI #329: Pull request #150 synchronize by 3esmit
November 13, 2024 21:29 11m 26s stake-manager-interface
stake-manager-interface
November 13, 2024 21:29 11m 26s
refactor(StakeManager): extract interfaces and rename variables to merge functionalty with StakingRewardStreamer CI #328: Pull request #150 synchronize by 3esmit
November 13, 2024 21:10 17m 20s stake-manager-interface
stake-manager-interface
November 13, 2024 21:10 17m 20s
refactor(StakeManager): extract interfaces and rename variables to merge functionalty with StakingRewardStreamer CI #327: Pull request #150 synchronize by 3esmit
November 13, 2024 20:04 47m 19s stake-manager-interface
stake-manager-interface
November 13, 2024 20:04 47m 19s
refactor(StakeManager): extract interfaces and rename variables to merge functionalty with StakingRewardStreamer CI #326: Pull request #150 synchronize by 3esmit
November 13, 2024 15:38 21m 28s stake-manager-interface
stake-manager-interface
November 13, 2024 15:38 21m 28s
refactor(StakeManager): extract interfaces and rename variables to merge functionalty with StakingRewardStreamer CI #325: Pull request #150 synchronize by 3esmit
November 12, 2024 13:20 13m 10s stake-manager-interface
stake-manager-interface
November 12, 2024 13:20 13m 10s
refactor(StakeManager): extract interfaces and rename variables to merge functionalty with StakingRewardStreamer CI #324: Pull request #150 synchronize by 3esmit
November 11, 2024 22:40 2h 6m 11s stake-manager-interface
stake-manager-interface
November 11, 2024 22:40 2h 6m 11s
refactor(StakeManager): extract interfaces and rename variables to merge functionalty with StakingRewardStreamer CI #323: Pull request #150 synchronize by 3esmit
November 8, 2024 04:05 38s stake-manager-interface
stake-manager-interface
November 8, 2024 04:05 38s
fix(specs): make sumOfMultiplierPointsIsMultiplierpoints work again CI #322: Commit c0bf36d pushed by 3esmit
October 13, 2024 11:20 2h 3m 39s develop
develop
October 13, 2024 11:20 2h 3m 39s
refactor(StakeManager): optimize stake, account init and lock function CI #321: Pull request #130 synchronize by 3esmit
October 12, 2024 20:39 2h 2m 52s remove-mintBonusMP-function
remove-mintBonusMP-function
October 12, 2024 20:39 2h 2m 52s
try with standard server instead CI #320: Commit 9face30 pushed by 3esmit
October 8, 2024 13:14 2h 2m 41s develop
develop
October 8, 2024 13:14 2h 2m 41s
refactor(certora): move rule about MP not greater than max MP into own spec CI #319: Pull request #149 synchronize by 0x-r4bbit
October 8, 2024 12:05 2h 3m 51s extract/max-mp-rule
extract/max-mp-rule
October 8, 2024 12:05 2h 3m 51s
refactor(certora): move rule about MP not greater than max MP into own spec CI #318: Pull request #149 synchronize by 0x-r4bbit
October 8, 2024 11:33 30m 13s extract/max-mp-rule
extract/max-mp-rule
October 8, 2024 11:33 30m 13s
refactor(certora): move rule about MP not greater than max MP into own spec CI #317: Pull request #149 synchronize by 0x-r4bbit
October 8, 2024 11:19 27m 6s extract/max-mp-rule
extract/max-mp-rule
October 8, 2024 11:19 27m 6s
refactor(certora): move rule about MP not greater than max MP into own spec CI #316: Pull request #149 synchronize by 0x-r4bbit
October 8, 2024 08:39 2h 3m 16s extract/max-mp-rule
extract/max-mp-rule
October 8, 2024 08:39 2h 3m 16s
refactor(certora): move rule about MP not greater than max MP into own spec CI #315: Pull request #149 opened by 0x-r4bbit
October 8, 2024 08:33 35m 12s extract/max-mp-rule
extract/max-mp-rule
October 8, 2024 08:33 35m 12s
refactor(certora): move rule about MP not greater than max MP into own spec Add PR to task board #78: Pull request #149 opened by 0x-r4bbit
October 8, 2024 08:33 22s extract/max-mp-rule
extract/max-mp-rule
October 8, 2024 08:33 22s
feat(StakeManager): add function to owner enable emergency exit Add issue to task board #42: Issue #148 opened by 3esmit
October 7, 2024 17:34 15s
October 7, 2024 17:34 15s
bug(StakeManeger): unstake does not reconsider changes in expiredMP for estimation Add issue to task board #41: Issue #147 opened by 3esmit
October 7, 2024 17:28 12s
October 7, 2024 17:28 12s
refactor(StakeManager): optimize stake, account init and lock function CI #314: Pull request #130 synchronize by 3esmit
October 3, 2024 03:24 51m 36s remove-mintBonusMP-function
remove-mintBonusMP-function
October 3, 2024 03:24 51m 36s
refactor(StakeManager): remove unused startTime field in Epoch struct… CI #313: Commit da6cac4 pushed by 3esmit
October 3, 2024 03:20 19m 8s develop
develop
October 3, 2024 03:20 19m 8s
StakeManager owner can disallow Vaults from unstaking arbitraryly Add issue to task board #40: Issue #145 opened by 3esmit
October 3, 2024 02:19 9s
October 3, 2024 02:19 9s
refactor(StakeManager): remove unused startTime field in Epoch struct… CI #312: Pull request #141 synchronize by 3esmit
October 3, 2024 02:10 40m 36s improve-executeEpoch
improve-executeEpoch
October 3, 2024 02:10 40m 36s