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

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
feat: halmos symbolic tests Slither Analysis #38: Pull request #21 synchronize by 0xDiscotech
August 15, 2024 13:31 2m 59s feat/halmos-symbolic-tests
feat/halmos-symbolic-tests
August 15, 2024 13:31 2m 59s
feat: halmos symbolic tests Slither Analysis #37: Pull request #21 synchronize by 0xDiscotech
August 15, 2024 13:29 6s feat/halmos-symbolic-tests
feat/halmos-symbolic-tests
August 15, 2024 13:29 6s
Close stale issues and PRs Close stale issues and PRs #7: Scheduled
August 15, 2024 01:50 13s develop
develop
August 15, 2024 01:50 13s
feat: halmos symbolic tests Slither Analysis #36: Pull request #21 synchronize by 0xDiscotech
August 14, 2024 21:06 3m 1s feat/halmos-symbolic-tests
feat/halmos-symbolic-tests
August 14, 2024 21:06 3m 1s
feat: halmos symbolic tests Slither Analysis #35: Pull request #21 synchronize by 0xDiscotech
August 14, 2024 21:01 1m 29s feat/halmos-symbolic-tests
feat/halmos-symbolic-tests
August 14, 2024 21:01 1m 29s
feat: halmos symbolic tests Slither Analysis #34: Pull request #21 synchronize by 0xDiscotech
August 14, 2024 19:23 2m 59s feat/halmos-symbolic-tests
feat/halmos-symbolic-tests
August 14, 2024 19:23 2m 59s
feat: liquidity migration Slither Analysis #33: Pull request #10 synchronize by agusduha
August 14, 2024 18:44 2m 53s sc/liquidity-migration
sc/liquidity-migration
August 14, 2024 18:44 2m 53s
feat: liquidity migration Slither Analysis #32: Pull request #10 synchronize by agusduha
August 14, 2024 18:08 2m 56s sc/liquidity-migration
sc/liquidity-migration
August 14, 2024 18:08 2m 56s
feat: halmos symbolic tests Slither Analysis #31: Pull request #21 synchronize by 0xDiscotech
August 14, 2024 17:43 3m 36s feat/halmos-symbolic-tests
feat/halmos-symbolic-tests
August 14, 2024 17:43 3m 36s
feat: halmos symbolic tests Slither Analysis #30: Pull request #21 synchronize by 0xDiscotech
August 14, 2024 16:47 2m 38s feat/halmos-symbolic-tests
feat/halmos-symbolic-tests
August 14, 2024 16:47 2m 38s
Chore: setup medusa + 1 basic fuzz scenario Slither Analysis #29: Pull request #19 synchronize by 0xteddybear
August 14, 2024 15:48 3m 0s chore/setup-medusa
chore/setup-medusa
August 14, 2024 15:48 3m 0s
feat: liquidity migration Slither Analysis #28: Pull request #10 synchronize by agusduha
August 14, 2024 15:36 2m 52s sc/liquidity-migration
sc/liquidity-migration
August 14, 2024 15:36 2m 52s
Chore: setup medusa + 1 basic fuzz scenario Slither Analysis #27: Pull request #19 synchronize by 0xteddybear
August 14, 2024 15:26 2m 41s chore/setup-medusa
chore/setup-medusa
August 14, 2024 15:26 2m 41s