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: remaining protocol properties
Slither Analysis #112: Pull request #26 synchronize by 0xteddybear
August 28, 2024 22:28 2m 51s test/state-transitions
August 28, 2024 22:28 2m 51s
feat: introduce OptimismSuperchainERC20Factory
Slither Analysis #111: Pull request #30 synchronize by agusduha
August 28, 2024 18:28 2m 32s sc/superchain-erc20-factory
August 28, 2024 18:28 2m 32s
Close stale issues and PRs
Close stale issues and PRs #20: Scheduled
August 28, 2024 01:57 12s develop
August 28, 2024 01:57 12s
fix: ci builder foundry version update. (#11610)
Slither Analysis #109: Commit 45e129c pushed by agusduha
August 27, 2024 19:17 2m 30s develop
August 27, 2024 19:17 2m 30s
feat: introduce OptimismSuperchainERC20Factory
Slither Analysis #108: Pull request #30 synchronize by agusduha
August 27, 2024 19:15 2m 38s sc/superchain-erc20-factory
August 27, 2024 19:15 2m 38s
test: remaining protocol properties
Slither Analysis #107: Pull request #26 synchronize by 0xteddybear
August 27, 2024 14:40 2m 56s test/state-transitions
August 27, 2024 14:40 2m 56s
op-geth: Update op-geth with single threaded fixes (#11598)
Slither Analysis #106: Commit a36291d pushed by agusduha
August 27, 2024 13:29 2m 49s develop
August 27, 2024 13:29 2m 49s
Close stale issues and PRs
Close stale issues and PRs #19: Scheduled
August 27, 2024 01:56 13s develop
August 27, 2024 01:56 13s
feat: add crosschain properties
Slither Analysis #105: Pull request #24 synchronize by 0xteddybear
August 26, 2024 16:24 20m 57s feat/add-crosschain-properties
August 26, 2024 16:24 20m 57s
feat: add crosschain properties
Slither Analysis #104: Pull request #24 synchronize by 0xDiscotech
August 26, 2024 15:31 2m 44s feat/add-crosschain-properties
August 26, 2024 15:31 2m 44s
test: fuzz non atomic bridging
Slither Analysis #103: Pull request #31 synchronize by 0xteddybear
August 26, 2024 13:02 2m 32s test/non-atomic-bridging
August 26, 2024 13:02 2m 32s
test: remaining protocol properties
Slither Analysis #102: Pull request #26 synchronize by 0xteddybear
August 26, 2024 12:51 2m 50s test/state-transitions
August 26, 2024 12:51 2m 50s
test: fuzz non atomic bridging
Slither Analysis #101: Pull request #31 synchronize by 0xteddybear
August 26, 2024 12:50 2m 43s test/non-atomic-bridging
August 26, 2024 12:50 2m 43s
Close stale issues and PRs
Close stale issues and PRs #18: Scheduled
August 26, 2024 01:56 11s develop
August 26, 2024 01:56 11s
Close stale issues and PRs
Close stale issues and PRs #17: Scheduled
August 25, 2024 01:59 14s develop
August 25, 2024 01:59 14s
Close stale issues and PRs
Close stale issues and PRs #16: Scheduled
August 24, 2024 01:54 12s develop
August 24, 2024 01:54 12s
feat: add CreateX preinstall
Slither Analysis #100: Pull request #33 opened by agusduha
August 23, 2024 19:42 2m 28s sc/add-createx-preinstall
August 23, 2024 19:42 2m 28s
test: fuzz non atomic bridging
Slither Analysis #99: Pull request #31 synchronize by 0xteddybear
August 23, 2024 18:47 2m 39s test/non-atomic-bridging
August 23, 2024 18:47 2m 39s
test: superc20 tob properties
Slither Analysis #98: Pull request #27 synchronize by 0xteddybear
August 23, 2024 18:36 3m 6s test/superc20-tob-properties
August 23, 2024 18:36 3m 6s
test: remaining protocol properties
Slither Analysis #97: Pull request #26 synchronize by 0xteddybear
August 23, 2024 18:36 2m 46s test/state-transitions
August 23, 2024 18:36 2m 46s
feature branch: property testing
Slither Analysis #96: Pull request #28 synchronize by 0xteddybear
August 23, 2024 16:22 2m 40s feat/invariant-testing
August 23, 2024 16:22 2m 40s
feat: halmos symbolic tests
Slither Analysis #95: Pull request #21 synchronize by 0xteddybear
August 23, 2024 16:20 2m 50s feat/halmos-symbolic-tests
August 23, 2024 16:20 2m 50s
feat: introduce OptimismSuperchainERC20Factory
Slither Analysis #94: Pull request #30 synchronize by agusduha
August 23, 2024 12:28 2m 49s sc/superchain-erc20-factory
August 23, 2024 12:28 2m 49s
Close stale issues and PRs
Close stale issues and PRs #15: Scheduled
August 23, 2024 01:55 15s develop
August 23, 2024 01:55 15s