Skip to content

Actions: defi-wonderland/optimism

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

test: fuzz non atomic bridging Slither Analysis #93: Pull request #31 synchronize by 0xteddybear
August 23, 2024 00:18 2m 28s test/non-atomic-bridging
test/non-atomic-bridging
August 23, 2024 00:18 2m 28s
test: fuzz non atomic bridging Slither Analysis #92: Pull request #31 synchronize by 0xteddybear
August 23, 2024 00:04 2m 34s test/non-atomic-bridging
test/non-atomic-bridging
August 23, 2024 00:04 2m 34s
fix: implementation of feedback on halmos setup Slither Analysis #91: Pull request #32 opened by 0xteddybear
August 22, 2024 19:08 2m 37s chore/feedback-on-halmos-setup
chore/feedback-on-halmos-setup
August 22, 2024 19:08 2m 37s
test: fuzz non atomic bridging Slither Analysis #90: Pull request #31 opened by 0xteddybear
August 22, 2024 16:49 3m 27s test/non-atomic-bridging
test/non-atomic-bridging
August 22, 2024 16:49 3m 27s
test: superc20 tob properties Slither Analysis #89: Pull request #27 synchronize by 0xteddybear
August 22, 2024 15:56 2m 35s test/superc20-tob-properties
test/superc20-tob-properties
August 22, 2024 15:56 2m 35s
test: superc20 tob properties Slither Analysis #88: Pull request #27 synchronize by 0xteddybear
August 22, 2024 15:30 2m 25s test/superc20-tob-properties
test/superc20-tob-properties
August 22, 2024 15:30 2m 25s
feat: introduce OptimismSuperchainERC20Factory Slither Analysis #87: Pull request #30 opened by agusduha
August 22, 2024 15:06 2m 51s sc/superchain-erc20-factory
sc/superchain-erc20-factory
August 22, 2024 15:06 2m 51s
test: add superchain erc20 factory tests Slither Analysis #86: Pull request #25 synchronize by agusduha
August 22, 2024 14:54 2m 31s test/superchain-erc20-factory-tests
test/superchain-erc20-factory-tests
August 22, 2024 14:54 2m 31s
feat: add createX preinstall Slither Analysis #85: Pull request #29 synchronize by agusduha
August 22, 2024 14:40 2m 36s feat/add-createx-preinstall
feat/add-createx-preinstall
August 22, 2024 14:40 2m 36s
feat: add createX preinstall Slither Analysis #84: Pull request #29 opened by agusduha
August 22, 2024 14:16 2m 30s feat/add-createx-preinstall
feat/add-createx-preinstall
August 22, 2024 14:16 2m 30s
fix: typo in doc (#11541) Slither Analysis #83: Commit 0cf2a11 pushed by agusduha
August 22, 2024 12:30 2m 48s develop
develop
August 22, 2024 12:30 2m 48s
Close stale issues and PRs Close stale issues and PRs #14: Scheduled
August 22, 2024 01:56 14s develop
develop
August 22, 2024 01:56 14s
feature branch: property testing Slither Analysis #82: Pull request #28 opened by 0xteddybear
August 21, 2024 21:30 2m 39s feat/invariant-testing
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
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
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
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
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