Skip to content

Actions: logos-co/staking

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
295 workflow runs
295 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(StakeManager.spec): add rule to ensure MP 1to1 ratio CI #181: Pull request #86 opened by 0x-r4bbit
March 12, 2024 15:09 9m 49s spec/1to1ratio
spec/1to1ratio
March 12, 2024 15:09 9m 49s
fix(StakeManager): lock function checks for MIN_LOCKUP_PERIOD CI #180: Commit cbd40ae pushed by 3esmit
March 12, 2024 14:41 21m 25s develop
develop
March 12, 2024 14:41 21m 25s
chore(StakeManager.spec): add invariant greater lock time -> more MPs CI #179: Pull request #85 synchronize by 0x-r4bbit
March 12, 2024 13:32 25m 37s spec/greater-lt-greater-mp
spec/greater-lt-greater-mp
March 12, 2024 13:32 25m 37s
chore(StakeManager.spec): add invariant greater lock time -> more MPs CI #178: Pull request #85 opened by 0x-r4bbit
March 12, 2024 13:15 6m 42s spec/greater-lt-greater-mp
spec/greater-lt-greater-mp
March 12, 2024 13:15 6m 42s
Fix locking CI #177: Pull request #84 opened by 3esmit
March 11, 2024 19:36 21m 56s fix-locking
fix-locking
March 11, 2024 19:36 21m 56s
chore: improve coverage CI #176: Pull request #69 synchronize by 3esmit
March 11, 2024 18:44 3m 48s improve-tests
improve-tests
March 11, 2024 18:44 3m 48s
chore(StakeManager.spec): add two more MP related invariants CI #175: Pull request #82 opened by 0x-r4bbit
March 11, 2024 14:36 13m 15s certora/mp-rules
certora/mp-rules
March 11, 2024 14:36 13m 15s
chore(StakeManager.spec): add MPCantBeGreaterThanMaxMP invariant CI #174: Pull request #81 synchronize by 0x-r4bbit
March 11, 2024 14:22 13m 9s fix/max-mp
fix/max-mp
March 11, 2024 14:22 13m 9s
chore(StakeManager.spec): add MPCantBeGreaterThanMaxMP invariant CI #173: Pull request #81 opened by 0x-r4bbit
March 11, 2024 11:40 16m 57s fix/max-mp
fix/max-mp
March 11, 2024 11:40 16m 57s
chore(StakeVault.spec): add rule to verify account and vault balance CI #172: Commit 4f59004 pushed by 0x-r4bbit
March 7, 2024 18:40 11m 43s develop
develop
March 7, 2024 18:40 11m 43s
CI CI #171: Manually run by 0x-r4bbit
March 7, 2024 18:29 9m 50s chore/verify-account-vault-balance
chore/verify-account-vault-balance
March 7, 2024 18:29 9m 50s
fix(StakeManager.spec): use filtered invariants for vacuous rules CI #170: Commit 544cc42 pushed by 3esmit
March 5, 2024 13:21 7m 6s develop
develop
March 5, 2024 13:21 7m 6s
Fix/certora fixes CI #169: Pull request #78 synchronize by 0x-r4bbit
March 5, 2024 08:55 22m 33s fix/certora-fixes
fix/certora-fixes
March 5, 2024 08:55 22m 33s
chore: improve coverage CI #168: Pull request #69 synchronize by 3esmit
March 5, 2024 02:00 31m 24s improve-tests
improve-tests
March 5, 2024 02:00 31m 24s
Fix/certora fixes CI #167: Pull request #78 synchronize by 0x-r4bbit
March 4, 2024 16:19 14m 3s fix/certora-fixes
fix/certora-fixes
March 4, 2024 16:19 14m 3s
Fix/certora fixes CI #166: Pull request #78 opened by 0x-r4bbit
March 4, 2024 15:28 5m 34s fix/certora-fixes
fix/certora-fixes
March 4, 2024 15:28 5m 34s
chore: improve coverage CI #165: Pull request #69 synchronize by 3esmit
March 4, 2024 15:11 31m 48s improve-tests
improve-tests
March 4, 2024 15:11 31m 48s
chore: improve coverage CI #164: Pull request #69 synchronize by 3esmit
March 4, 2024 14:53 14m 52s improve-tests
improve-tests
March 4, 2024 14:53 14m 52s
chore: improve coverage CI #163: Pull request #69 synchronize by 3esmit
March 4, 2024 14:23 15m 6s improve-tests
improve-tests
March 4, 2024 14:23 15m 6s
chore: improve coverage CI #162: Pull request #69 synchronize by 3esmit
March 4, 2024 14:21 38s improve-tests
improve-tests
March 4, 2024 14:21 38s
chore: improve coverage CI #161: Pull request #69 synchronize by 3esmit
March 4, 2024 14:17 15m 46s improve-tests
improve-tests
March 4, 2024 14:17 15m 46s
fix(Certora specs): make specs compile again CI #160: Commit d7ab130 pushed by 3esmit
March 1, 2024 18:31 17m 2s develop
develop
March 1, 2024 18:31 17m 2s
fix(StakeManager): don't allow migration initialization while migrating CI #159: Pull request #76 synchronize by 0x-r4bbit
March 1, 2024 12:41 18m 15s fix/certora-specs
fix/certora-specs
March 1, 2024 12:41 18m 15s
fix(Certora specs): ensure prover runs rules on currentContract CI #158: Pull request #75 synchronize by 0x-r4bbit
March 1, 2024 12:41 24m 56s fix/current-contract
fix/current-contract
March 1, 2024 12:41 24m 56s
fix(StakeManager): don't allow migration initialization while migrating CI #157: Pull request #76 synchronize by 0x-r4bbit
March 1, 2024 12:21 7m 14s fix/certora-specs
fix/certora-specs
March 1, 2024 12:21 7m 14s