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

test: remaining protocol properties Slither Analysis #102: Pull request #26 synchronize by 0xteddybear
August 26, 2024 12:51 2m 50s test/state-transitions
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
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
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
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
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
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
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
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
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
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
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
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
develop
August 23, 2024 01:55 15s
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
ProTip! You can narrow down the results and go further in time using created:<2024-08-22 or the other filters available.