Skip to content

Actions: crytic/echidna

Actions

Action

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
action.yml
190 workflow run results
190 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve delay shrinking Action #1001: Pull request #1196 opened by arcz
March 4, 2024 14:29 28s fix-delay-shrink
fix-delay-shrink
March 4, 2024 14:29 28s
Echidna 2.2.3 (#1195) Action #1000: Commit fabd1ff pushed by arcz
March 4, 2024 12:42 26s master
master
March 4, 2024 12:42 26s
Echidna 2.2.3 Action #999: Pull request #1195 synchronize by arcz
March 4, 2024 11:46 23s 2.2.3
2.2.3
March 4, 2024 11:46 23s
Echidna 2.2.3 Action #998: Pull request #1195 opened by arcz
March 4, 2024 11:41 29s 2.2.3
2.2.3
March 4, 2024 11:41 29s
feat: add CLI commands for RPC URL and block number (#1194) Action #997: Commit 8339bad pushed by arcz
February 29, 2024 16:30 27s master
master
February 29, 2024 16:30 27s
feat: add CLI commands for RPC URL and block number Action #996: Pull request #1194 synchronize by penandlim
February 29, 2024 15:54 25s penandlim:addRpcConfigToCLI
penandlim:addRpcConfigToCLI
February 29, 2024 15:54 25s
Speed up shrinking (#1192) Action #995: Commit d9f5016 pushed by arcz
February 29, 2024 15:51 29s master
master
February 29, 2024 15:51 29s
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