Skip to content

Actions: defi-wonderland/optimism

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
feat: add superchain erc20 factory implementation Slither Analysis #58: Pull request #23 synchronize by agusduha
August 16, 2024 21:29 2m 44s feat/add-superchain-erc20-factory-implementation
feat/add-superchain-erc20-factory-implementation
August 16, 2024 21:29 2m 44s
feat: halmos symbolic tests Slither Analysis #57: Pull request #21 synchronize by 0xDiscotech
August 16, 2024 20:22 2m 55s feat/halmos-symbolic-tests
feat/halmos-symbolic-tests
August 16, 2024 20:22 2m 55s
Chore: setup medusa + 1 basic fuzz scenario Slither Analysis #56: Pull request #19 synchronize by 0xteddybear
August 16, 2024 19:59 2m 34s chore/setup-medusa
chore/setup-medusa
August 16, 2024 19:59 2m 34s
Chore: setup medusa + 1 basic fuzz scenario Slither Analysis #55: Pull request #19 synchronize by 0xteddybear
August 16, 2024 18:28 1m 54s chore/setup-medusa
chore/setup-medusa
August 16, 2024 18:28 1m 54s
feat: add superchain erc20 factory implementation Slither Analysis #54: Pull request #23 opened by agusduha
August 16, 2024 18:26 2m 57s feat/add-superchain-erc20-factory-implementation
feat/add-superchain-erc20-factory-implementation
August 16, 2024 18:26 2m 57s
feat: halmos symbolic tests Slither Analysis #53: Pull request #21 synchronize by 0xDiscotech
August 16, 2024 17:00 2m 51s feat/halmos-symbolic-tests
feat/halmos-symbolic-tests
August 16, 2024 17:00 2m 51s
feat: halmos symbolic tests Slither Analysis #52: Pull request #21 synchronize by 0xDiscotech
August 16, 2024 16:53 2m 37s feat/halmos-symbolic-tests
feat/halmos-symbolic-tests
August 16, 2024 16:53 2m 37s
test: bridge between different accounts Slither Analysis #51: Pull request #22 synchronize by 0xteddybear
August 16, 2024 16:40 2m 41s test/cross-account-bridges
test/cross-account-bridges
August 16, 2024 16:40 2m 41s
Close stale issues and PRs Close stale issues and PRs #8: Scheduled
August 16, 2024 01:54 12s develop
develop
August 16, 2024 01:54 12s
feat: halmos symbolic tests Slither Analysis #50: Pull request #21 synchronize by 0xDiscotech
August 15, 2024 22:24 2m 45s feat/halmos-symbolic-tests
feat/halmos-symbolic-tests
August 15, 2024 22:24 2m 45s
feat: halmos symbolic tests Slither Analysis #49: Pull request #21 synchronize by 0xDiscotech
August 15, 2024 22:15 2m 35s feat/halmos-symbolic-tests
feat/halmos-symbolic-tests
August 15, 2024 22:15 2m 35s
feat: halmos symbolic tests Slither Analysis #48: Pull request #21 synchronize by 0xDiscotech
August 15, 2024 22:06 2m 44s feat/halmos-symbolic-tests
feat/halmos-symbolic-tests
August 15, 2024 22:06 2m 44s
feat: halmos symbolic tests Slither Analysis #47: Pull request #21 synchronize by 0xDiscotech
August 15, 2024 21:56 2m 42s feat/halmos-symbolic-tests
feat/halmos-symbolic-tests
August 15, 2024 21:56 2m 42s
feat: halmos symbolic tests Slither Analysis #46: Pull request #21 synchronize by 0xDiscotech
August 15, 2024 21:55 2m 40s feat/halmos-symbolic-tests
feat/halmos-symbolic-tests
August 15, 2024 21:55 2m 40s
Chore: setup medusa + 1 basic fuzz scenario Slither Analysis #45: Pull request #19 synchronize by 0xteddybear
August 15, 2024 19:47 2m 42s chore/setup-medusa
chore/setup-medusa
August 15, 2024 19:47 2m 42s
Chore: setup medusa + 1 basic fuzz scenario Slither Analysis #44: Pull request #19 synchronize by 0xteddybear
August 15, 2024 19:45 3m 6s chore/setup-medusa
chore/setup-medusa
August 15, 2024 19:45 3m 6s
Chore: setup medusa + 1 basic fuzz scenario Slither Analysis #43: Pull request #19 synchronize by 0xteddybear
August 15, 2024 19:19 2m 35s chore/setup-medusa
chore/setup-medusa
August 15, 2024 19:19 2m 35s
test: bridge between different accounts Slither Analysis #42: Pull request #22 opened by 0xteddybear
August 15, 2024 17:22 2m 45s test/cross-account-bridges
test/cross-account-bridges
August 15, 2024 17:22 2m 45s
feat: halmos symbolic tests Slither Analysis #41: Pull request #21 synchronize by 0xDiscotech
August 15, 2024 14:53 2m 40s feat/halmos-symbolic-tests
feat/halmos-symbolic-tests
August 15, 2024 14:53 2m 40s
feat: halmos symbolic tests Slither Analysis #40: Pull request #21 synchronize by 0xDiscotech
August 15, 2024 14:13 2m 40s feat/halmos-symbolic-tests
feat/halmos-symbolic-tests
August 15, 2024 14:13 2m 40s
feat: halmos symbolic tests Slither Analysis #39: Pull request #21 synchronize by 0xDiscotech
August 15, 2024 13:39 2m 59s feat/halmos-symbolic-tests
feat/halmos-symbolic-tests
August 15, 2024 13:39 2m 59s