Skip to content

Actions: defi-wonderland/optimism

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
166 workflow run results
166 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

test: superc20 tob properties Slither Analysis #78: Pull request #27 opened by 0xteddybear
August 21, 2024 14:51 3m 14s test/superc20-tob-properties
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
develop
August 18, 2024 01:57 12s
feat: add crosschain properties Slither Analysis #61: Pull request #24 opened by 0xDiscotech
August 17, 2024 02:06 2m 39s feat/add-crosschain-properties
feat/add-crosschain-properties
August 17, 2024 02:06 2m 39s
Close stale issues and PRs Close stale issues and PRs #9: Scheduled
August 17, 2024 01:52 13s develop
develop
August 17, 2024 01:52 13s
feat: halmos symbolic tests Slither Analysis #60: Pull request #21 synchronize by 0xDiscotech
August 16, 2024 23:42 2m 36s feat/halmos-symbolic-tests
feat/halmos-symbolic-tests
August 16, 2024 23:42 2m 36s
feat: halmos symbolic tests Slither Analysis #59: Pull request #21 synchronize by 0xDiscotech
August 16, 2024 23:24 2m 43s feat/halmos-symbolic-tests
feat/halmos-symbolic-tests
August 16, 2024 23:24 2m 43s