Skip to content

Actions: crytic/echidna

Actions

Action

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
action.yml
381 workflow runs
381 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add CLI commands for RPC URL and block number Action #994: Pull request #1194 synchronize by penandlim
February 29, 2024 00:37 40s penandlim:addRpcConfigToCLI
penandlim:addRpcConfigToCLI
February 29, 2024 00:37 40s
feat: add CLI commands for RPC URL and block number Action #993: Pull request #1194 synchronize by penandlim
February 28, 2024 23:51 29s penandlim:addRpcConfigToCLI
penandlim:addRpcConfigToCLI
February 28, 2024 23:51 29s
Speed up shrinking in some cases Action #990: Pull request #1192 synchronize by samalws-tob
February 28, 2024 18:33 26s samalws-tob:slow-shrink
samalws-tob:slow-shrink
February 28, 2024 18:33 26s
Speed up shrinking in some cases Action #989: Pull request #1192 opened by samalws-tob
February 28, 2024 18:26 31s samalws-tob:slow-shrink
samalws-tob:slow-shrink
February 28, 2024 18:26 31s
Update README.md (#1190) Action #988: Commit e72975c pushed by arcz
February 27, 2024 15:38 28s master
master
February 27, 2024 15:38 28s
Update README.md Action #987: Pull request #1190 opened by 0xicingdeath
February 27, 2024 15:37 26s readme/added-curvance-suite
readme/added-curvance-suite
February 27, 2024 15:37 26s
Update hevm to 0.53.0 (#1189) Action #986: Commit 92f30c6 pushed by arcz
February 27, 2024 12:47 26s master
master
February 27, 2024 12:47 26s
Update hevm to 0.53.0 Action #985: Pull request #1189 synchronize by arcz
February 27, 2024 10:39 25s hevm-0.53.0
hevm-0.53.0
February 27, 2024 10:39 25s
Update hevm to 0.53.0 Action #984: Pull request #1189 opened by arcz
February 27, 2024 09:37 27s hevm-0.53.0
hevm-0.53.0
February 27, 2024 09:37 27s
nix: enhance TERMINFO for Linux builds (#1187) Action #983: Commit 88ccd4c pushed by elopez
February 6, 2024 18:30 22s master
master
February 6, 2024 18:30 22s
nix: enhance TERMINFO for Linux builds Action #982: Pull request #1187 opened by elopez
February 6, 2024 13:18 32s dev-nix-fix-linux-terminfo
dev-nix-fix-linux-terminfo
February 6, 2024 13:18 32s
ci: add solc 0.8.x tests, mark 0.6.x and 0.7.x as not experimental Action #981: Pull request #973 synchronize by elopez
February 5, 2024 23:16 26s dev-test-solc
dev-test-solc
February 5, 2024 23:16 26s
Bump DeterminateSystems/magic-nix-cache-action from 2 to 3 (#1186) Action #980: Commit 603dc35 pushed by elopez
February 5, 2024 23:10 22s master
master
February 5, 2024 23:10 22s
Bump DeterminateSystems/magic-nix-cache-action from 2 to 3 Action #979: Pull request #1186 synchronize by elopez
February 5, 2024 22:13 26s dependabot/github_actions/DeterminateSystems/magic-nix-cache-action-3
dependabot/github_actions/DeterminateSystems/magic-nix-cache-action-3
February 5, 2024 22:13 26s
Bump DeterminateSystems/magic-nix-cache-action from 2 to 3 Action #978: Pull request #1186 opened by dependabot bot
February 5, 2024 21:46 23s dependabot/github_actions/DeterminateSystems/magic-nix-cache-action-3
dependabot/github_actions/DeterminateSystems/magic-nix-cache-action-3
February 5, 2024 21:46 23s
Fix faulty corpus transaction detection (#1184) Action #977: Commit f641d1a pushed by arcz
February 2, 2024 17:11 28s master
master
February 2, 2024 17:11 28s
Fix faulty corpus transaction detection Action #976: Pull request #1184 synchronize by arcz
February 2, 2024 14:40 24s fix-corpus-checking
fix-corpus-checking
February 2, 2024 14:40 24s
Fix faulty corpus transaction detection Action #975: Pull request #1184 opened by arcz
February 2, 2024 14:03 25s fix-corpus-checking
fix-corpus-checking
February 2, 2024 14:03 25s
Display contract names in UI (#1181) Action #974: Commit 1d0c937 pushed by arcz
January 26, 2024 18:22 28s master
master
January 26, 2024 18:22 28s
Display contract names in UI Action #973: Pull request #1181 synchronize by arcz
January 26, 2024 18:02 21s display-contract-names
display-contract-names
January 26, 2024 18:02 21s
Display contract names in UI Action #972: Pull request #1181 opened by arcz
January 25, 2024 18:47 25s display-contract-names
display-contract-names
January 25, 2024 18:47 25s
Save traces for every transaction in reproducer (#1180) Action #971: Commit 09b8644 pushed by arcz
January 25, 2024 17:56 26s master
master
January 25, 2024 17:56 26s
Save traces for every transaction in reproducer Action #970: Pull request #1180 opened by arcz
January 25, 2024 17:37 24s test-traces
test-traces
January 25, 2024 17:37 24s
Refactor (#1178) Action #969: Commit f964ba6 pushed by arcz
January 25, 2024 15:20 31s master
master
January 25, 2024 15:20 31s
Refactor Action #968: Pull request #1178 opened by arcz
January 25, 2024 14:58 23s refactor
refactor
January 25, 2024 14:58 23s
ProTip! You can narrow down the results and go further in time using created:<2024-01-25 or the other filters available.