Skip to content

Actions: crytic/echidna

Actions

Action

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
action.yml
573 workflow runs
573 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Shared WorkPool with adaptive batch sizing for fuzz workers Action #1907: Pull request #1548 opened by elopez
26s better-work-dist
better-work-dist
26s
Remove PropertyRepro.sol pragma Action #1906: Commit 7cbb32f pushed by elopez
26s master
master
26s
Remove PropertyRepro.sol pragma Action #1905: Pull request #1547 opened by gustavo-grieco
24s fix-PropertyRepro-pragma
fix-PropertyRepro-pragma
24s
Echidna 2.3.2 Action #1904: Commit e021daa pushed by elopez
27s master
master
27s
Agentic refactoring and full MCP support Action #1903: Pull request #1502 synchronize by gustavo-grieco
29s dev-agents
dev-agents
29s
Generate Foundry reproducers in property mode (#1546) Action #1902: Commit 21c2e75 pushed by gustavo-grieco
26s master
master
26s
Generate Foundry reproducers in property mode Action #1901: Pull request #1546 synchronize by gustavo-grieco
24s dev-foundry-reproducer-property
dev-foundry-reproducer-property
24s
Generate Foundry reproducers in property mode Action #1900: Pull request #1546 opened by gustavo-grieco
28s dev-foundry-reproducer-property
dev-foundry-reproducer-property
28s
ci: add least-privilege permissions to all workflows Action #1899: Commit b2f55de pushed by elopez
26s master
master
26s
Update hevm to 8da7ea44ebf5524dce65b14e70cee1a4413eb6f0 Action #1898: Commit 115b104 pushed by elopez
23s master
master
23s
Ci posture improvements Action #1897: Pull request #1545 opened by elopez
21s ci-posture
ci-posture
21s
Update hevm to 8da7ea44ebf5524dce65b14e70cee1a4413eb6f0 Action #1896: Pull request #1544 opened by elopez
3m 20s bump-hevm
bump-hevm
3m 20s
Echidna 2.3.2 Action #1895: Pull request #1543 synchronize by elopez
24s bump-232
bump-232
24s
Echidna 2.3.2 Action #1894: Pull request #1543 opened by elopez
29s bump-232
bump-232
29s
build(deps): bump cachix/cachix-action from 16 to 17 (#1542) Action #1893: Commit adc898a pushed by elopez
26s master
master
26s
build(deps): bump cachix/cachix-action from 16 to 17 Action #1892: Pull request #1542 opened by dependabot bot
26s dependabot/github_actions/cachix/cachix-action-17
dependabot/github_actions/cachix/cachix-action-17
26s
shrink when a test was interrupted (#1535) Action #1891: Commit d7c7786 pushed by elopez
21s master
master
21s
Allow configuring zero delay (#1541) Action #1890: Commit 1cc7120 pushed by elopez
27s master
master
27s
Agentic refactoring and full MCP support Action #1889: Pull request #1502 synchronize by gustavo-grieco
23s dev-agents
dev-agents
23s
Detect when a property/optimization is invalid (#1536) Action #1888: Commit 6e589d4 pushed by gustavo-grieco
26s master
master
26s
Allow configuring zero delay Action #1887: Pull request #1541 opened by elopez
26s fix-gendelay-lower-bound
fix-gendelay-lower-bound
26s
build(deps): bump docker/login-action from 3 to 4 (#1539) Action #1886: Commit 8e8bb5d pushed by elopez
33s master
master
33s
build(deps): bump softprops/action-gh-release from 2.5.0 to 2.6.1 (#1… Action #1885: Commit 958921f pushed by elopez
33s master
master
33s
build(deps): bump softprops/action-gh-release from 2.5.0 to 2.6.1 Action #1884: Pull request #1540 opened by dependabot bot
25s dependabot/github_actions/softprops/action-gh-release-2.6.1
dependabot/github_actions/softprops/action-gh-release-2.6.1
25s
build(deps): bump docker/login-action from 3 to 4 Action #1883: Pull request #1539 opened by dependabot bot
33s dependabot/github_actions/docker/login-action-4
dependabot/github_actions/docker/login-action-4
33s