Skip to content

Actions: crytic/echidna

Actions

Nix and release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
113 workflow run results
113 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

use measureIO on saving coverage (#1202) Nix and release #129: Commit b824e95 pushed by arcz
March 8, 2024 17:33 8m 46s master
master
March 8, 2024 17:33 8m 46s
Use measureIO when saving coverage Nix and release #128: Pull request #1202 opened by samalws-tob
March 8, 2024 17:18 8m 33s samalws-tob:measureCoverage
samalws-tob:measureCoverage
March 8, 2024 17:18 8m 33s
Fix mac builds with stack build in nix develop Nix and release #127: Pull request #1201 opened by samalws-tob
March 8, 2024 15:17 8m 31s samalws-tob:mac-builds
samalws-tob:mac-builds
March 8, 2024 15:17 8m 31s
Update filterFallbacks to be selective rather than all-or-nothing Nix and release #126: Pull request #1200 synchronize by samalws-tob
March 7, 2024 22:46 10m 34s samalws-tob:updateFilterFallbacks
samalws-tob:updateFilterFallbacks
March 7, 2024 22:46 10m 34s
Update filterFallbacks to be selective rather than all-or-nothing Nix and release #125: Pull request #1200 synchronize by samalws-tob
March 7, 2024 19:00 10m 15s samalws-tob:updateFilterFallbacks
samalws-tob:updateFilterFallbacks
March 7, 2024 19:00 10m 15s
Update filterFallbacks to be selective rather than all-or-nothing Nix and release #124: Pull request #1200 synchronize by samalws-tob
March 7, 2024 17:57 15m 25s samalws-tob:updateFilterFallbacks
samalws-tob:updateFilterFallbacks
March 7, 2024 17:57 15m 25s
Update filterFallbacks to be selective rather than all-or-nothing Nix and release #123: Pull request #1200 opened by samalws-tob
March 7, 2024 17:23 10m 20s samalws-tob:updateFilterFallbacks
samalws-tob:updateFilterFallbacks
March 7, 2024 17:23 10m 20s
Improve delay shrinking (#1196) Nix and release #122: Commit 2dc9328 pushed by arcz
March 4, 2024 19:09 8m 53s master
master
March 4, 2024 19:09 8m 53s
Toggle tests and log panes on t and l (#1197) Nix and release #121: Commit 09a3c98 pushed by arcz
March 4, 2024 19:09 25m 29s master
master
March 4, 2024 19:09 25m 29s
Toggle tests and log panes on t and l Nix and release #120: Pull request #1197 opened by arcz
March 4, 2024 18:51 35m 8s ui-toggle-panes
ui-toggle-panes
March 4, 2024 18:51 35m 8s
Improve delay shrinking Nix and release #119: Pull request #1196 opened by arcz
March 4, 2024 14:29 9m 52s fix-delay-shrink
fix-delay-shrink
March 4, 2024 14:29 9m 52s
Echidna 2.2.3 (#1195) Nix and release #118: Commit fabd1ff pushed by arcz
March 4, 2024 12:42 3m 45s v2.2.3
v2.2.3
March 4, 2024 12:42 3m 45s
Echidna 2.2.3 (#1195) Nix and release #117: Commit fabd1ff pushed by arcz
March 4, 2024 12:42 3m 11s master
master
March 4, 2024 12:42 3m 11s
Echidna 2.2.3 Nix and release #116: Pull request #1195 synchronize by arcz
March 4, 2024 11:46 8m 4s 2.2.3
2.2.3
March 4, 2024 11:46 8m 4s
Echidna 2.2.3 Nix and release #115: Pull request #1195 opened by arcz
March 4, 2024 11:41 50s 2.2.3
2.2.3
March 4, 2024 11:41 50s
feat: add CLI commands for RPC URL and block number (#1194) Nix and release #114: Commit 8339bad pushed by arcz
February 29, 2024 16:30 8m 8s master
master
February 29, 2024 16:30 8m 8s
feat: add CLI commands for RPC URL and block number Nix and release #113: Pull request #1194 synchronize by penandlim
February 29, 2024 15:54 7m 28s penandlim:addRpcConfigToCLI
penandlim:addRpcConfigToCLI
February 29, 2024 15:54 7m 28s
Speed up shrinking (#1192) Nix and release #112: Commit d9f5016 pushed by arcz
February 29, 2024 15:51 12m 55s master
master
February 29, 2024 15:51 12m 55s
feat: add CLI commands for RPC URL and block number Nix and release #111: Pull request #1194 synchronize by penandlim
February 29, 2024 00:37 14m 34s penandlim:addRpcConfigToCLI
penandlim:addRpcConfigToCLI
February 29, 2024 00:37 14m 34s
feat: add CLI commands for RPC URL and block number Nix and release #110: Pull request #1194 synchronize by penandlim
February 28, 2024 23:51 14m 31s penandlim:addRpcConfigToCLI
penandlim:addRpcConfigToCLI
February 28, 2024 23:51 14m 31s
Speed up shrinking in some cases Nix and release #107: Pull request #1192 synchronize by samalws-tob
February 28, 2024 18:33 8m 9s samalws-tob:slow-shrink
samalws-tob:slow-shrink
February 28, 2024 18:33 8m 9s
Speed up shrinking in some cases Nix and release #106: Pull request #1192 opened by samalws-tob
February 28, 2024 18:26 8m 19s samalws-tob:slow-shrink
samalws-tob:slow-shrink
February 28, 2024 18:26 8m 19s
Update README.md (#1190) Nix and release #105: Commit e72975c pushed by arcz
February 27, 2024 15:38 7m 19s master
master
February 27, 2024 15:38 7m 19s
Update README.md Nix and release #104: Pull request #1190 opened by 0xicingdeath
February 27, 2024 15:37 9m 0s readme/added-curvance-suite
readme/added-curvance-suite
February 27, 2024 15:37 9m 0s
Update hevm to 0.53.0 (#1189) Nix and release #103: Commit 92f30c6 pushed by arcz
February 27, 2024 12:47 3m 51s master
master
February 27, 2024 12:47 3m 51s