Skip to content

Actions: crytic/echidna

Actions

Nix and release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
581 workflow runs
581 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Shared WorkPool with adaptive batch sizing for fuzz workers Nix and release #1037: Pull request #1548 opened by elopez
12m 37s better-work-dist
better-work-dist
12m 37s
Remove PropertyRepro.sol pragma Nix and release #1036: Commit 7cbb32f pushed by elopez
14m 12s v2.3.2
v2.3.2
14m 12s
Remove PropertyRepro.sol pragma Nix and release #1035: Commit 7cbb32f pushed by elopez
13m 13s master
master
13m 13s
Remove PropertyRepro.sol pragma Nix and release #1034: Pull request #1547 opened by gustavo-grieco
14m 1s fix-PropertyRepro-pragma
fix-PropertyRepro-pragma
14m 1s
Echidna 2.3.2 Nix and release #1033: Commit e021daa pushed by elopez
11m 19s master
master
11m 19s
Agentic refactoring and full MCP support Nix and release #1032: Pull request #1502 synchronize by gustavo-grieco
15m 7s dev-agents
dev-agents
15m 7s
Generate Foundry reproducers in property mode (#1546) Nix and release #1031: Commit 21c2e75 pushed by gustavo-grieco
14m 42s master
master
14m 42s
Generate Foundry reproducers in property mode Nix and release #1030: Pull request #1546 synchronize by gustavo-grieco
14m 30s dev-foundry-reproducer-property
dev-foundry-reproducer-property
14m 30s
Generate Foundry reproducers in property mode Nix and release #1029: Pull request #1546 opened by gustavo-grieco
15m 5s dev-foundry-reproducer-property
dev-foundry-reproducer-property
15m 5s
ci: add least-privilege permissions to all workflows Nix and release #1028: Commit b2f55de pushed by elopez
12m 18s master
master
12m 18s
Update hevm to 8da7ea44ebf5524dce65b14e70cee1a4413eb6f0 Nix and release #1027: Commit 115b104 pushed by elopez
14m 21s master
master
14m 21s
Ci posture improvements Nix and release #1026: Pull request #1545 opened by elopez
14m 26s ci-posture
ci-posture
14m 26s
Update hevm to 8da7ea44ebf5524dce65b14e70cee1a4413eb6f0 Nix and release #1025: Pull request #1544 opened by elopez
25m 42s bump-hevm
bump-hevm
25m 42s
Echidna 2.3.2 Nix and release #1024: Pull request #1543 synchronize by elopez
26m 11s bump-232
bump-232
26m 11s
Echidna 2.3.2 Nix and release #1023: Pull request #1543 opened by elopez
14m 16s bump-232
bump-232
14m 16s
build(deps): bump cachix/cachix-action from 16 to 17 (#1542) Nix and release #1022: Commit adc898a pushed by elopez
13m 17s master
master
13m 17s
build(deps): bump cachix/cachix-action from 16 to 17 Nix and release #1021: Pull request #1542 opened by dependabot bot
13m 29s dependabot/github_actions/cachix/cachix-action-17
dependabot/github_actions/cachix/cachix-action-17
13m 29s
shrink when a test was interrupted (#1535) Nix and release #1020: Commit d7c7786 pushed by elopez
12m 0s master
master
12m 0s
Allow configuring zero delay (#1541) Nix and release #1019: Commit 1cc7120 pushed by elopez
14m 30s master
master
14m 30s
Agentic refactoring and full MCP support Nix and release #1018: Pull request #1502 synchronize by gustavo-grieco
12m 41s dev-agents
dev-agents
12m 41s
Detect when a property/optimization is invalid (#1536) Nix and release #1017: Commit 6e589d4 pushed by gustavo-grieco
11m 30s master
master
11m 30s
Allow configuring zero delay Nix and release #1016: Pull request #1541 opened by elopez
12m 34s fix-gendelay-lower-bound
fix-gendelay-lower-bound
12m 34s
build(deps): bump docker/login-action from 3 to 4 (#1539) Nix and release #1015: Commit 8e8bb5d pushed by elopez
10m 42s master
master
10m 42s
build(deps): bump softprops/action-gh-release from 2.5.0 to 2.6.1 (#1… Nix and release #1014: Commit 958921f pushed by elopez
12m 33s master
master
12m 33s
build(deps): bump softprops/action-gh-release from 2.5.0 to 2.6.1 Nix and release #1013: Pull request #1540 opened by dependabot bot
11m 41s dependabot/github_actions/softprops/action-gh-release-2.6.1
dependabot/github_actions/softprops/action-gh-release-2.6.1
11m 41s