Skip to content

Actions: crytic/slither

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,366 workflow runs
1,366 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #5781: Scheduled
October 25, 2024 12:04 3m 13s master
master
October 25, 2024 12:04 3m 13s
CI CI #5780: Scheduled
October 24, 2024 12:04 3m 52s master
master
October 24, 2024 12:04 3m 52s
Merge pull request #2560 from crytic/echidna-printer CI #5779: Commit 89a7d58 pushed by montyly
October 24, 2024 11:38 3m 26s dev
dev
October 24, 2024 11:38 3m 26s
Add assert information for echidna CI #5778: Pull request #2560 synchronize by smonicas
October 24, 2024 11:25 1m 18s echidna-printer
echidna-printer
October 24, 2024 11:25 1m 18s
Add assert information for echidna CI #5777: Pull request #2560 synchronize by smonicas
October 24, 2024 11:11 1m 24s echidna-printer
echidna-printer
October 24, 2024 11:11 1m 24s
slither: implement shell completions with shtab CI #5776: Pull request #2317 synchronize by elopez
October 24, 2024 10:49 1m 27s dev-autocompletion
dev-autocompletion
October 24, 2024 10:49 1m 27s
Merge pull request #2568 from crytic/fix/mapping-type-identifer-lookup CI #5775: Commit d0929a8 pushed by montyly
October 24, 2024 09:51 3m 16s dev
dev
October 24, 2024 09:51 3m 16s
Merge pull request #2518 from withbest/master CI #5774: Commit 80c7e85 pushed by montyly
October 24, 2024 09:48 3m 11s dev
dev
October 24, 2024 09:48 3m 11s
Merge pull request #2413 from crytic/printer-cheatcode CI #5773: Commit e659f54 pushed by montyly
October 24, 2024 09:38 3m 21s dev
dev
October 24, 2024 09:38 3m 21s
slither-doctor: paths: follow symlinks CI #5772: Pull request #1608 synchronize by montyly
October 24, 2024 09:24 1m 27s dev-paths-homebrew
dev-paths-homebrew
October 24, 2024 09:24 1m 27s
CI CI #5771: Scheduled
October 23, 2024 12:04 4m 48s master
master
October 23, 2024 12:04 4m 48s
CI CI #5770: Scheduled
October 22, 2024 12:04 3m 35s master
master
October 22, 2024 12:04 3m 35s
CI CI #5769: Scheduled
October 21, 2024 12:04 3m 21s master
master
October 21, 2024 12:04 3m 21s
CI CI #5768: Scheduled
October 20, 2024 12:03 3m 21s master
master
October 20, 2024 12:03 3m 21s
CI CI #5767: Scheduled
October 19, 2024 12:03 4m 17s master
master
October 19, 2024 12:03 4m 17s
CI CI #5766: Scheduled
October 18, 2024 12:04 4m 1s master
master
October 18, 2024 12:04 4m 1s
Merge pull request #2574 from crytic/dev-echidna-values CI #5765: Commit 83e5fca pushed by montyly
October 17, 2024 20:51 3m 43s dev
dev
October 17, 2024 20:51 3m 43s
Echidna printer Improve values extraction CI #5764: Pull request #2574 synchronize by montyly
October 17, 2024 20:42 1m 26s dev-echidna-values
dev-echidna-values
October 17, 2024 20:42 1m 26s
Merge pull request #2589 from crytic/dev-event-selector-ir CI #5763: Commit 79619f6 pushed by montyly
October 17, 2024 19:08 3m 32s dev
dev
October 17, 2024 19:08 3m 32s
Fix IR conversion when an Event selector is accessed CI #5762: Pull request #2589 synchronize by montyly
October 17, 2024 18:54 1m 28s dev-event-selector-ir
dev-event-selector-ir
October 17, 2024 18:54 1m 28s
Fix IR conversion when an Event selector is accessed CI #5761: Pull request #2589 synchronize by montyly
October 17, 2024 18:39 2m 23s dev-event-selector-ir
dev-event-selector-ir
October 17, 2024 18:39 2m 23s
Fix IR conversion when an Event selector is accessed CI #5760: Pull request #2589 synchronize by montyly
October 17, 2024 17:41 1m 22s dev-event-selector-ir
dev-event-selector-ir
October 17, 2024 17:41 1m 22s
CI CI #5759: Scheduled
October 17, 2024 12:04 13m 40s master
master
October 17, 2024 12:04 13m 40s
CI CI #5758: Scheduled
October 16, 2024 12:04 3m 40s master
master
October 16, 2024 12:04 3m 40s
CI CI #5757: Scheduled
October 15, 2024 12:04 3m 51s master
master
October 15, 2024 12:04 3m 51s