Skip to content

Actions: crytic/slither

Run black (auto)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
59 workflow runs
59 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix detectors wiki links
Run black (auto) #60: Pull request #2640 opened by smonicas
January 20, 2025 11:07 39s dev-fix-wiki-links
January 20, 2025 11:07 39s
Pyth detectors: Fix assertion error
Run black (auto) #59: Pull request #2639 opened by smonicas
January 20, 2025 10:39 39s dev-fix-pyth
January 20, 2025 10:39 39s
Sync Master <> Dev
Run black (auto) #58: Pull request #2635 opened by smonicas
January 17, 2025 18:06 38s dev
dev
January 17, 2025 18:06 38s
Prepare 0.11.0 release
Run black (auto) #57: Pull request #2634 opened by smonicas
January 17, 2025 17:52 34s prepare-release-0.11.0
January 17, 2025 17:52 34s
[DON'T MERGE] Use crytic-compile dev branch
Run black (auto) #56: Pull request #2633 opened by smonicas
January 17, 2025 13:49 37s dev-crytic-test
January 17, 2025 13:49 37s
Fix are_variables_written analysis for named return variables
Run black (auto) #55: Pull request #2631 opened by smonicas
January 17, 2025 12:03 1m 7s dev-fix-analysis
January 17, 2025 12:03 1m 7s
incorrect-modifier: Fix infinite loop
Run black (auto) #54: Pull request #2628 opened by smonicas
January 15, 2025 18:36 39s dev-fix-modifier-detector
January 15, 2025 18:36 39s
Updated slither-mutate logs
Run black (auto) #53: Pull request #2625 synchronize by bohendo
January 9, 2025 15:29 35s features/mutator
January 9, 2025 15:29 35s
Updated slither-mutate logs
Run black (auto) #52: Pull request #2625 synchronize by bohendo
January 9, 2025 15:22 51s features/mutator
January 9, 2025 15:22 51s
fix: typos in documentation files
Run black (auto) #51: Pull request #2626 opened by vtjl10
January 7, 2025 22:30 58s vtjl10:master
January 7, 2025 22:30 58s
Updated slither-mutate logs
Run black (auto) #50: Pull request #2625 synchronize by bohendo
January 6, 2025 17:02 36s features/mutator
January 6, 2025 17:02 36s
Updated slither-mutate logs
Run black (auto) #49: Pull request #2625 opened by bohendo
January 6, 2025 16:53 38s features/mutator
January 6, 2025 16:53 38s
Add entry-points printer to identify all externally accessible state-changing functions
Run black (auto) #47: Pull request #2616 opened by nisedo
December 13, 2024 09:26 36s nisedo:dev
December 13, 2024 09:26 36s
Fix reorder argument edge case
Run black (auto) #46: Pull request #2614 opened by smonicas
December 6, 2024 16:21 33s fix-reorder-arg
December 6, 2024 16:21 33s
PR 2603 improvements
Run black (auto) #45: Pull request #2613 opened by montyly
December 6, 2024 15:51 34s DanielVF-horizontal-call-graph
December 6, 2024 15:51 34s
chore: fix typo
Run black (auto) #40: Pull request #2597 opened by valeriypushkar
October 30, 2024 09:59 54s valeriypushkar:fix-typo
October 30, 2024 09:59 54s
Add assert information for echidna
Run black (auto) #39: Pull request #2560 synchronize by smonicas
October 24, 2024 11:25 30s echidna-printer
October 24, 2024 11:25 30s
Add assert information for echidna
Run black (auto) #38: Pull request #2560 synchronize by smonicas
October 24, 2024 11:11 33s echidna-printer
October 24, 2024 11:11 33s
slither: implement shell completions with shtab
Run black (auto) #37: Pull request #2317 synchronize by elopez
October 24, 2024 10:49 37s dev-autocompletion
October 24, 2024 10:49 37s
slither-doctor: paths: follow symlinks
Run black (auto) #36: Pull request #1608 synchronize by montyly
October 24, 2024 09:24 39s dev-paths-homebrew
October 24, 2024 09:24 39s
Echidna printer Improve values extraction
Run black (auto) #35: Pull request #2574 synchronize by montyly
October 17, 2024 20:42 36s dev-echidna-values
October 17, 2024 20:42 36s