Skip to content

Actions: logos-co/staking

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
375 workflow runs
375 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(ci): update certora CLI in CI
CI #211: Pull request #96 opened by 0x-r4bbit
July 30, 2024 13:07 21m 39s chore/update-certora-cli
July 30, 2024 13:07 21m 39s
June 25, 2024 16:13 5m 2s
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
June 25, 2024 10:52 10s
refactor(StakeManager): make function names more descriptive
CI #207: Commit d18df07 pushed by 3esmit
June 20, 2024 18:48 13m 17s develop
June 20, 2024 18:48 13m 17s
fix(StakeManager): initial MP should not increase when locking
CI #206: Pull request #94 synchronize by 0x-r4bbit
June 19, 2024 12:47 14m 16s fix/lock-init-mp
June 19, 2024 12:47 14m 16s
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
June 19, 2024 10:44 18s
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
refactor(certora): use CI matrix for verification jobs
CI #197: Commit d953391 pushed by 0x-r4bbit
March 28, 2024 15:42 5m 28s develop
March 28, 2024 15:42 5m 28s
refactor(certora): use CI matrix for verification jobs
Add PR to task board #51: Pull request #90 opened by 0x-r4bbit
March 25, 2024 14:12 13s ci/certora-concurrent
March 25, 2024 14:12 13s
chore(certora): upgrade certora-cli to 7.0.7
CI #195: Commit 6182d95 pushed by 0x-r4bbit
March 20, 2024 09:59 18m 4s develop
March 20, 2024 09:59 18m 4s
chore(certora): upgrade certora-cli to 7.0.7
Add PR to task board #50: Pull request #89 opened by 0x-r4bbit
March 18, 2024 11:10 13s chore/upgrade-certora-cli
March 18, 2024 11:10 13s
chore(certora): upgrade certora-cli to 7.0.7
CI #194: Pull request #89 opened by 0x-r4bbit
March 18, 2024 11:10 28m 18s chore/upgrade-certora-cli
March 18, 2024 11:10 28m 18s