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

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
feat: update Sepolia Drippie config to latest (#10810) Slither Analysis #26: Commit 42b8711 pushed by agusduha
August 14, 2024 15:14 3m 5s develop
develop
August 14, 2024 15:14 3m 5s
Chore: setup medusa + 1 basic fuzz scenario Slither Analysis #25: Pull request #19 synchronize by 0xteddybear
August 14, 2024 14:28 2m 38s chore/setup-medusa
chore/setup-medusa
August 14, 2024 14:28 2m 38s
feat: halmos symbolic tests Slither Analysis #24: Pull request #21 synchronize by 0xDiscotech
August 14, 2024 05:51 2m 44s feat/halmos-symbolic-tests
feat/halmos-symbolic-tests
August 14, 2024 05:51 2m 44s
op-service: capture inherited log attributes (#11470) Slither Analysis #23: Commit 6f9c4f7 pushed by 0xDiscotech
August 14, 2024 05:47 2m 43s develop
develop
August 14, 2024 05:47 2m 43s
feat: halmos symbolic tests Slither Analysis #22: Pull request #21 opened by 0xDiscotech
August 14, 2024 05:47 2m 32s feat/halmos-symbolic-tests
feat/halmos-symbolic-tests
August 14, 2024 05:47 2m 32s
Close stale issues and PRs Close stale issues and PRs #6: Scheduled
August 14, 2024 01:55 11s develop
develop
August 14, 2024 01:55 11s
feat: liquidity migration Slither Analysis #21: Pull request #10 synchronize by agusduha
August 13, 2024 19:38 2m 39s sc/liquidity-migration
sc/liquidity-migration
August 13, 2024 19:38 2m 39s
Chore: setup medusa + 1 basic fuzz scenario Slither Analysis #20: Pull request #19 synchronize by 0xteddybear
August 13, 2024 15:35 1m 55s chore/setup-medusa
chore/setup-medusa
August 13, 2024 15:35 1m 55s
feat: liquidity migration Slither Analysis #19: Pull request #10 synchronize by agusduha
August 13, 2024 13:58 2m 36s sc/liquidity-migration
sc/liquidity-migration
August 13, 2024 13:58 2m 36s
feat: liquidity migration Slither Analysis #18: Pull request #10 synchronize by agusduha
August 13, 2024 13:40 3m 5s sc/liquidity-migration
sc/liquidity-migration
August 13, 2024 13:40 3m 5s
op-challenger: Fix run-trace disputed block selection (#11437) Slither Analysis #17: Commit a3b6a60 pushed by agusduha
August 13, 2024 13:36 2m 35s develop
develop
August 13, 2024 13:36 2m 35s
feat: modify OptimismMintableERC20Factory for convert Slither Analysis #16: Pull request #17 synchronize by agusduha
August 13, 2024 13:34 2m 46s feat/modify-mintable-erc20-factory
feat/modify-mintable-erc20-factory
August 13, 2024 13:34 2m 46s
ProTip! You can narrow down the results and go further in time using created:<2024-08-13 or the other filters available.