Skip to content

Actions: logos-co/staking

Actions

Add PR to task board

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add-pr-to-project-board.yml
78 workflow runs
78 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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(StakeVault): add withdraw function and improve documentation Add PR to task board #77: Pull request #144 opened by 3esmit
October 1, 2024 21:33 18s improve-stake-vault
improve-stake-vault
October 1, 2024 21:33 18s
refactor(StakeManager): change finalizeEpoch to write epoch all at once Add PR to task board #76: Pull request #142 opened by 3esmit
September 30, 2024 18:03 11s analyze-prover-behavior
analyze-prover-behavior
September 30, 2024 18:03 11s
refactor(StakeManager): remove unused startTime field in Epoch struct… Add PR to task board #75: Pull request #141 opened by 3esmit
September 29, 2024 22:10 10s improve-executeEpoch
improve-executeEpoch
September 29, 2024 22:10 10s
refactor(StakeManager): Abstact out codehash verification to better c… Add PR to task board #74: Pull request #140 opened by 3esmit
September 28, 2024 18:17 14s abstract-codehash-access
abstract-codehash-access
September 28, 2024 18:17 14s
chore(test): fix fuzzing function to properly test whats suppoused to… Add PR to task board #73: Pull request #135 opened by 3esmit
September 25, 2024 11:24 17s make-reports-deterministic
make-reports-deterministic
September 25, 2024 11:24 17s
chore: improve comments and documentation in README.md Add PR to task board #72: Pull request #134 opened by 3esmit
September 25, 2024 09:45 12s add-details-README
add-details-README
September 25, 2024 09:45 12s
chore: update package.json and README.md Add PR to task board #71: Pull request #132 opened by 3esmit
September 24, 2024 15:03 12s update-project
update-project
September 24, 2024 15:03 12s
refactor(StakeManager): optimize stake, account init and lock function Add PR to task board #70: Pull request #130 opened by 3esmit
September 23, 2024 14:26 14s remove-mintBonusMP-function
remove-mintBonusMP-function
September 23, 2024 14:26 14s
Improve execute functions Add PR to task board #69: Pull request #129 opened by 3esmit
September 23, 2024 09:06 16s improve-executeFunctions
improve-executeFunctions
September 23, 2024 09:06 16s
fix(StakeManager): fix finalizeEpoch to use last epoch epochEnd Add PR to task board #68: Pull request #127 opened by 3esmit
September 23, 2024 05:14 14s fix-epochStartTime
fix-epochStartTime
September 23, 2024 05:14 14s
chore(foundry.toml): update fuzzing settings Add PR to task board #67: Pull request #126 opened by 3esmit
September 23, 2024 00:18 15s 3esmit/issue125
3esmit/issue125
September 23, 2024 00:18 15s
chore(.gas-report, .gas-snapshot): update reports Add PR to task board #66: Pull request #122 opened by 3esmit
September 19, 2024 13:34 12s update-gas-report
update-gas-report
September 19, 2024 13:34 12s
refactor(certora): introduce shared.spec to reuse helper functions Add PR to task board #65: Pull request #117 opened by 0x-r4bbit
September 17, 2024 11:32 14s refactor/specs
refactor/specs
September 17, 2024 11:32 14s
Implements fix stake with lock minting more MPs Add PR to task board #64: Pull request #115 opened by 3esmit
September 12, 2024 03:49 10s 3esmit/issue111
3esmit/issue111
September 12, 2024 03:49 10s
Remove unnecessary finalizeEpoch modifier from migrateTo Add PR to task board #63: Pull request #114 opened by 3esmit
September 11, 2024 12:32 10s 3esmit/issue109
3esmit/issue109
September 11, 2024 12:32 10s
Remove irrelevant code from _mintBonusMP function Add PR to task board #62: Pull request #113 opened by 3esmit
September 11, 2024 12:29 15s 3esmit/issue108
3esmit/issue108
September 11, 2024 12:29 15s
fix(StakeManager): use while loop instead of hacky for loop in process account Add PR to task board #61: Pull request #112 opened by 3esmit
September 11, 2024 11:56 10s 3esmit/issue110
3esmit/issue110
September 11, 2024 11:56 10s
feat(StakeManager): optimizations on processAccount Add PR to task board #60: Pull request #105 opened by 0x-r4bbit
September 9, 2024 08:42 15s optimize-process-account
optimize-process-account
September 9, 2024 08:42 15s
chore: add adorno command to package.json Add PR to task board #59: Pull request #102 opened by 3esmit
August 31, 2024 02:43 14s add-npm-adorno
add-npm-adorno
August 31, 2024 02:43 14s
chore(CI): update certora-cli to 7.10.2 Add PR to task board #58: Pull request #101 opened by 0x-r4bbit
August 27, 2024 11:41 11s chore/update-certora-cli
chore/update-certora-cli
August 27, 2024 11:41 11s
feat(StakeManager): implement multiplier points estimation Add PR to task board #57: Pull request #97 opened by 0x-r4bbit
August 8, 2024 10:07 13s mp-estimate
mp-estimate
August 8, 2024 10:07 13s
chore(ci): update certora CLI in CI Add PR to task board #56: Pull request #96 opened by 0x-r4bbit
July 30, 2024 13:07 15s chore/update-certora-cli
chore/update-certora-cli
July 30, 2024 13:07 15s
refactor(StakeManager): initialMP -> bonusMP, currentMP -> totalMP Add PR to task board #55: Pull request #95 opened by 0x-r4bbit
June 25, 2024 10:52 10s refactor/mp-rename
refactor/mp-rename
June 25, 2024 10:52 10s
fix(StakeManager): initial MP should not increase when locking Add PR to task board #54: Pull request #94 opened by 0x-r4bbit
June 19, 2024 10:44 18s fix/lock-init-mp
fix/lock-init-mp
June 19, 2024 10:44 18s