Skip to content

Actions: crytic/slither

Run pylint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
431 workflow runs
431 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

slither-mutate: fit and finish
Run pylint #2817: Pull request #2302 synchronize by 0xalpharush
March 18, 2024 20:07 1m 42s mutator/fit-and-finish
March 18, 2024 20:07 1m 42s
Fix parsing of events
Run pylint #2816: Pull request #2365 opened by smonicas
March 18, 2024 13:34 2m 4s dev-fix-event-parsing
March 18, 2024 13:34 2m 4s
slither-mutate: fit and finish
Run pylint #2815: Pull request #2302 synchronize by bohendo
March 12, 2024 21:23 1m 51s mutator/fit-and-finish
March 12, 2024 21:23 1m 51s
Update node.py
Run pylint #2814: Pull request #2358 opened by eltociear
March 10, 2024 14:51 1m 30s eltociear:patch-1
March 10, 2024 14:51 1m 30s
Support python3.12
Run pylint #2812: Pull request #2348 opened by 0xalpharush
March 1, 2024 23:01 1m 58s support-python3.12
March 1, 2024 23:01 1m 58s
ci: linter, pylint: upgrade superlinter to v6
Run pylint #2811: Pull request #2303 synchronize by 0xalpharush
March 1, 2024 22:31 2m 42s dev-super-linter
March 1, 2024 22:31 2m 42s
ci: linter, pylint: upgrade superlinter to v6
Run pylint #2810: Pull request #2303 synchronize by 0xalpharush
March 1, 2024 22:30 1m 37s dev-super-linter
March 1, 2024 22:30 1m 37s
Fix/model named returns
Run pylint #2809: Pull request #2326 synchronize by 0xalpharush
March 1, 2024 22:11 1m 35s fix/model-named-returns
March 1, 2024 22:11 1m 35s
prepare 0.10.1 release
Run pylint #2808: Pull request #2344 opened by 0xalpharush
February 29, 2024 20:40 1m 27s prepare-release
February 29, 2024 20:40 1m 27s
sync master<>dev
Run pylint #2807: Pull request #2341 opened by 0xalpharush
February 29, 2024 17:58 3m 8s dev
dev
February 29, 2024 17:58 3m 8s
Add --include-paths option
Run pylint #2806: Pull request #2330 synchronize by 0xalpharush
February 29, 2024 17:30 1m 28s dev-include-paths
February 29, 2024 17:30 1m 28s
Track storage variables read/written in assembly
Run pylint #2805: Pull request #2329 synchronize by 0xalpharush
February 29, 2024 17:13 1m 20s dev-constant-yul
February 29, 2024 17:13 1m 20s
Feat/out of order retryable detector
Run pylint #2804: Pull request #2340 reopened by 0xalpharush
February 29, 2024 16:54 1m 24s feat/out-of-order-retryable-detector
February 29, 2024 16:54 1m 24s
Feat/out of order retryable detector
Run pylint #2803: Pull request #2340 synchronize by 0xalpharush
February 29, 2024 16:40 1m 38s feat/out-of-order-retryable-detector
February 29, 2024 16:40 1m 38s
Feat/out of order retryable detector
Run pylint #2802: Pull request #2340 synchronize by 0xalpharush
February 28, 2024 23:58 1m 40s feat/out-of-order-retryable-detector
February 28, 2024 23:58 1m 40s
Consider local vars with storage location as storage vars
Run pylint #2800: Pull request #2241 synchronize by montyly
February 22, 2024 13:17 1m 37s dev-storage-var
February 22, 2024 13:17 1m 37s
Add virtual and override attribute in Function
Run pylint #2799: Pull request #2333 opened by smonicas
February 21, 2024 18:26 1m 40s dev-add-virtual
February 21, 2024 18:26 1m 40s
Fix CONTINUE node in the cfg
Run pylint #2797: Pull request #2047 synchronize by Tiko7454
February 21, 2024 14:45 1m 25s cast-tech:fix-continue-bug
February 21, 2024 14:45 1m 25s
ArrayType: Check the folded length in __eq__
Run pylint #2796: Pull request #2331 opened by smonicas
February 21, 2024 13:22 1m 27s dev-fix-array-eq
February 21, 2024 13:22 1m 27s
Add --include-paths option
Run pylint #2795: Pull request #2330 synchronize by smonicas
February 20, 2024 21:51 1m 32s dev-include-paths
February 20, 2024 21:51 1m 32s
Add --include-paths option
Run pylint #2794: Pull request #2330 opened by smonicas
February 20, 2024 21:47 1m 35s dev-include-paths
February 20, 2024 21:47 1m 35s
Fix/model named returns
Run pylint #2793: Pull request #2326 synchronize by 0xalpharush
February 20, 2024 20:34 1m 39s fix/model-named-returns
February 20, 2024 20:34 1m 39s
ProTip! You can narrow down the results and go further in time using created:<2024-02-20 or the other filters available.