Skip to content

Actions: crytic/echidna

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
567 workflow runs
567 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Generate Foundry reproducers in property mode CI #2702: Pull request #1546 opened by gustavo-grieco
12m 48s dev-foundry-reproducer-property
dev-foundry-reproducer-property
12m 48s
ci: add least-privilege permissions to all workflows CI #2701: Commit b2f55de pushed by elopez
22m 8s master
master
22m 8s
Update hevm to 8da7ea44ebf5524dce65b14e70cee1a4413eb6f0 CI #2700: Commit 115b104 pushed by elopez
7m 15s master
master
7m 15s
Ci posture improvements CI #2699: Pull request #1545 opened by elopez
58m 53s ci-posture
ci-posture
58m 53s
Update hevm to 8da7ea44ebf5524dce65b14e70cee1a4413eb6f0 CI #2698: Pull request #1544 opened by elopez
53m 5s bump-hevm
bump-hevm
53m 5s
Echidna 2.3.2 CI #2697: Pull request #1543 synchronize by elopez
50m 8s bump-232
bump-232
50m 8s
Echidna 2.3.2 CI #2696: Pull request #1543 opened by elopez
1h 0m 16s bump-232
bump-232
1h 0m 16s
build(deps): bump cachix/cachix-action from 16 to 17 (#1542) CI #2695: Commit adc898a pushed by elopez
25m 10s master
master
25m 10s
build(deps): bump cachix/cachix-action from 16 to 17 CI #2694: Pull request #1542 opened by dependabot bot
23m 20s dependabot/github_actions/cachix/cachix-action-17
dependabot/github_actions/cachix/cachix-action-17
23m 20s
shrink when a test was interrupted (#1535) CI #2693: Commit d7c7786 pushed by elopez
27m 20s master
master
27m 20s
Allow configuring zero delay (#1541) CI #2692: Commit 1cc7120 pushed by elopez
25m 55s master
master
25m 55s
Agentic refactoring and full MCP support CI #2691: Pull request #1502 synchronize by gustavo-grieco
46m 25s dev-agents
dev-agents
46m 25s
Detect when a property/optimization is invalid (#1536) CI #2690: Commit 6e589d4 pushed by gustavo-grieco
26m 47s master
master
26m 47s
Allow configuring zero delay CI #2689: Pull request #1541 opened by elopez
22m 31s fix-gendelay-lower-bound
fix-gendelay-lower-bound
22m 31s
build(deps): bump docker/login-action from 3 to 4 (#1539) CI #2688: Commit 8e8bb5d pushed by elopez
22m 4s master
master
22m 4s
build(deps): bump softprops/action-gh-release from 2.5.0 to 2.6.1 (#1… CI #2687: Commit 958921f pushed by elopez
22m 48s master
master
22m 48s
build(deps): bump softprops/action-gh-release from 2.5.0 to 2.6.1 CI #2686: Pull request #1540 opened by dependabot bot
23m 28s dependabot/github_actions/softprops/action-gh-release-2.6.1
dependabot/github_actions/softprops/action-gh-release-2.6.1
23m 28s
build(deps): bump docker/login-action from 3 to 4 CI #2685: Pull request #1539 opened by dependabot bot
23m 52s dependabot/github_actions/docker/login-action-4
dependabot/github_actions/docker/login-action-4
23m 52s
Detect when a property/optimization is invalid CI #2684: Pull request #1536 synchronize by gustavo-grieco
21m 57s fix-invalid-property
fix-invalid-property
21m 57s
Detect when a property/optimization is invalid CI #2683: Pull request #1536 synchronize by gustavo-grieco
6h 16m 26s fix-invalid-property
fix-invalid-property
6h 16m 26s
Detect when a property/optimization is invalid CI #2682: Pull request #1536 synchronize by gustavo-grieco
22m 37s fix-invalid-property
fix-invalid-property
22m 37s
Corpus mutation to remove reverts CI #2681: Pull request #1312 synchronize by gustavo-grieco
21m 50s removeReverts2
removeReverts2
21m 50s
Refactors in Exec.hs CI #2680: Pull request #1282 synchronize by gustavo-grieco
21m 34s simplifyExecTx
simplifyExecTx
21m 34s
Detect when a property/optimization is invalid CI #2679: Pull request #1536 synchronize by gustavo-grieco
26m 46s fix-invalid-property
fix-invalid-property
26m 46s
Allow to properly use symbolic execution in property mode CI #2678: Pull request #1538 synchronize by gustavo-grieco
23m 37s dev-sym-prop
dev-sym-prop
23m 37s