Skip to content

Actions: crytic/echidna

Nix and release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
394 workflow runs
394 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1320 from crytic/dev-bump-2.2.5
Nix and release #402: Commit 6d5ac38 pushed by ggrieco-tob
October 15, 2024 12:01 5m 5s v2.2.5
October 15, 2024 12:01 5m 5s
Merge pull request #1320 from crytic/dev-bump-2.2.5
Nix and release #401: Commit 6d5ac38 pushed by samalws-tob
October 11, 2024 18:53 4m 28s master
October 11, 2024 18:53 4m 28s
Echidna 2.2.5
Nix and release #400: Pull request #1320 synchronize by samalws-tob
October 11, 2024 17:51 9m 0s dev-bump-2.2.5
October 11, 2024 17:51 9m 0s
Echidna 2.2.5
Nix and release #399: Pull request #1320 opened by samalws-tob
October 11, 2024 17:50 9m 10s dev-bump-2.2.5
October 11, 2024 17:50 9m 10s
Merge pull request #1317 from crytic/upgrade-hevm
Nix and release #398: Commit a7eeb84 pushed by samalws-tob
October 11, 2024 17:07 9m 39s master
October 11, 2024 17:07 9m 39s
Bump cachix/install-nix-action from V28 to 30 (#1319)
Nix and release #397: Commit 460a071 pushed by arcz
October 8, 2024 09:17 13m 11s master
October 8, 2024 09:17 13m 11s
Upgrade hevm
Nix and release #395: Pull request #1317 synchronize by elopez
October 7, 2024 17:15 16m 43s upgrade-hevm
October 7, 2024 17:15 16m 43s
Upgrade hevm
Nix and release #394: Pull request #1317 synchronize by elopez
October 7, 2024 17:03 11m 11s upgrade-hevm
October 7, 2024 17:03 11m 11s
Upgrade hevm
Nix and release #393: Pull request #1317 synchronize by elopez
October 7, 2024 14:06 15m 1s upgrade-hevm
October 7, 2024 14:06 15m 1s
Upgrade hevm
Nix and release #392: Pull request #1317 synchronize by elopez
October 7, 2024 13:17 16m 34s upgrade-hevm
October 7, 2024 13:17 16m 34s
Create FUNDING.json
Nix and release #391: Commit c0297e8 pushed by montyly
October 3, 2024 12:55 11m 14s master
October 3, 2024 12:55 11m 14s
Upgrade hevm
Nix and release #390: Pull request #1317 synchronize by elopez
October 1, 2024 19:24 12m 22s upgrade-hevm
October 1, 2024 19:24 12m 22s
Upgrade hevm
Nix and release #389: Pull request #1317 synchronize by elopez
October 1, 2024 16:59 16m 34s upgrade-hevm
October 1, 2024 16:59 16m 34s
Upgrade hevm
Nix and release #388: Pull request #1317 opened by elopez
October 1, 2024 16:53 14m 34s upgrade-hevm
October 1, 2024 16:53 14m 34s
Collect coverage during init (#1304)
Nix and release #386: Commit 6c72809 pushed by ggrieco-tob
September 24, 2024 07:19 4m 35s master
September 24, 2024 07:19 4m 35s
Collect coverage during deployment
Nix and release #385: Pull request #1304 synchronize by elopez
September 19, 2024 07:18 9m 40s covDuringDeploy2
September 19, 2024 07:18 9m 40s
Add labels to call sequence (#1314)
Nix and release #384: Commit 4ee7099 pushed by ggrieco-tob
September 18, 2024 09:25 5m 9s master
September 18, 2024 09:25 5m 9s
Add labels to call sequence
Nix and release #383: Pull request #1314 synchronize by elopez
September 17, 2024 15:39 14m 31s dev-labels
September 17, 2024 15:39 14m 31s
Add labels to call sequence
Nix and release #382: Pull request #1314 opened by elopez
September 17, 2024 14:52 11m 57s dev-labels
September 17, 2024 14:52 11m 57s
Bump cachix/install-nix-action from V27 to 28 (#1313)
Nix and release #381: Commit 0059f17 pushed by arcz
September 17, 2024 08:59 8m 19s master
September 17, 2024 08:59 8m 19s
symExec support for tuple type (hevm PR 522) (#1309)
Nix and release #379: Commit 8ad7357 pushed by arcz
September 16, 2024 16:31 9m 16s master
September 16, 2024 16:31 9m 16s
Merge pull request #1300 from crytic/hevm-20240826
Nix and release #378: Commit 9d81da5 pushed by arcz
September 16, 2024 16:28 3m 23s master
September 16, 2024 16:28 3m 23s