Skip to content

Actions: defi-wonderland/optimism

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
420 workflow runs
420 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feature branch: property testing
Slither Analysis #82: Pull request #28 opened by 0xteddybear
August 21, 2024 21:30 2m 39s feat/invariant-testing
August 21, 2024 21:30 2m 39s
test: superc20 tob properties
Slither Analysis #81: Pull request #27 synchronize by 0xteddybear
August 21, 2024 21:12 3m 28s test/superc20-tob-properties
August 21, 2024 21:12 3m 28s
feat: liquidity migration
Slither Analysis #80: Pull request #10 synchronize by agusduha
August 21, 2024 20:31 2m 30s sc/liquidity-migration
August 21, 2024 20:31 2m 30s
test: remaining protocol properties
Slither Analysis #79: Pull request #26 synchronize by 0xteddybear
August 21, 2024 15:00 2m 53s test/state-transitions
August 21, 2024 15:00 2m 53s
test: superc20 tob properties
Slither Analysis #78: Pull request #27 opened by 0xteddybear
August 21, 2024 14:51 3m 14s test/superc20-tob-properties
August 21, 2024 14:51 3m 14s
feat: liquidity migration
Slither Analysis #77: Pull request #10 synchronize by agusduha
August 21, 2024 12:34 3m 22s sc/liquidity-migration
August 21, 2024 12:34 3m 22s
OPSM: Deploy Superchain, alternate approach (#11480)
Slither Analysis #76: Commit 185fb80 pushed by agusduha
August 21, 2024 12:33 3m 10s develop
August 21, 2024 12:33 3m 10s
Close stale issues and PRs
Close stale issues and PRs #13: Scheduled
August 21, 2024 01:55 13s develop
August 21, 2024 01:55 13s
test: remaining protocol properties
Slither Analysis #75: Pull request #26 opened by 0xteddybear
August 21, 2024 00:15 2m 43s test/state-transitions
August 21, 2024 00:15 2m 43s
test: bridge between different accounts
Slither Analysis #74: Pull request #22 synchronize by 0xteddybear
August 20, 2024 18:36 2m 35s test/cross-account-bridges
August 20, 2024 18:36 2m 35s
Chore: setup medusa + 1 basic fuzz scenario
Slither Analysis #73: Pull request #19 synchronize by 0xteddybear
August 20, 2024 18:27 2m 54s chore/setup-medusa
August 20, 2024 18:27 2m 54s
feat: liquidity migration
Slither Analysis #72: Pull request #10 synchronize by agusduha
August 20, 2024 13:44 2m 35s sc/liquidity-migration
August 20, 2024 13:44 2m 35s
fix: slice init len (#11520)
Slither Analysis #71: Commit d1e1c25 pushed by agusduha
August 20, 2024 13:26 2m 49s develop
August 20, 2024 13:26 2m 49s
feat: liquidity migration
Slither Analysis #70: Pull request #10 synchronize by agusduha
August 20, 2024 13:19 3m 3s sc/liquidity-migration
August 20, 2024 13:19 3m 3s
Close stale issues and PRs
Close stale issues and PRs #12: Scheduled
August 20, 2024 01:54 17s develop
August 20, 2024 01:54 17s
test: bridge between different accounts
Slither Analysis #69: Pull request #22 synchronize by 0xteddybear
August 19, 2024 23:48 2m 34s test/cross-account-bridges
August 19, 2024 23:48 2m 34s
Chore: setup medusa + 1 basic fuzz scenario
Slither Analysis #68: Pull request #19 synchronize by 0xteddybear
August 19, 2024 19:07 2m 36s chore/setup-medusa
August 19, 2024 19:07 2m 36s
Chore: setup medusa + 1 basic fuzz scenario
Slither Analysis #67: Pull request #19 synchronize by 0xteddybear
August 19, 2024 18:33 2m 57s chore/setup-medusa
August 19, 2024 18:33 2m 57s
Chore: setup medusa + 1 basic fuzz scenario
Slither Analysis #66: Pull request #19 synchronize by 0xteddybear
August 19, 2024 16:16 2m 43s chore/setup-medusa
August 19, 2024 16:16 2m 43s
Chore: setup medusa + 1 basic fuzz scenario
Slither Analysis #65: Pull request #19 synchronize by 0xteddybear
August 19, 2024 16:12 2m 49s chore/setup-medusa
August 19, 2024 16:12 2m 49s
feat: liquidity migration
Slither Analysis #64: Pull request #10 synchronize by agusduha
August 19, 2024 14:26 2m 38s sc/liquidity-migration
August 19, 2024 14:26 2m 38s
feat: ensure proper closing of gzip and file writers/readers to preve…
Slither Analysis #63: Commit 698633c pushed by agusduha
August 19, 2024 14:05 2m 41s develop
August 19, 2024 14:05 2m 41s
test: add superchain erc20 factory tests
Slither Analysis #62: Pull request #25 opened by agusduha
August 19, 2024 14:04 3m 4s test/superchain-erc20-factory-tests
August 19, 2024 14:04 3m 4s
Close stale issues and PRs
Close stale issues and PRs #11: Scheduled
August 19, 2024 01:56 12s develop
August 19, 2024 01:56 12s
Close stale issues and PRs
Close stale issues and PRs #10: Scheduled
August 18, 2024 01:57 12s develop
August 18, 2024 01:57 12s
ProTip! You can narrow down the results and go further in time using created:<2024-08-18 or the other filters available.