Skip to content

Actions: defi-wonderland/optimism

Actions

Slither Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
slither.yml
290 workflow runs
290 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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.