Skip to content

Actions: crytic/echidna

Actions

Docker

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker.yml
135 workflow runs
135 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support configuring Etherscan API key via config file (#1227) Docker #421: Commit 7ff9173 pushed by ggrieco-tob
May 6, 2024 09:06 21m 1s master
master
May 6, 2024 09:06 21m 1s
Add symbolic execution (#1216) Docker #420: Commit 5d55003 pushed by ggrieco-tob
May 3, 2024 13:21 22m 36s master
master
May 3, 2024 13:21 22m 36s
ci, release: pin macOS runners to the correct architectures (#1244) Docker #419: Commit 0378721 pushed by arcz
April 26, 2024 16:49 23m 41s master
master
April 26, 2024 16:49 23m 41s
Update filterFallbacks to be selective rather than all-or-nothing (#1… Docker #418: Commit 27ad095 pushed by arcz
April 25, 2024 17:19 21m 2s master
master
April 25, 2024 17:19 21m 2s
Fix some typos in comments (#1238) Docker #417: Commit 5b66fd2 pushed by arcz
April 18, 2024 14:17 22m 14s master
master
April 18, 2024 14:17 22m 14s
Adjust default GC allocation area (#1228) Docker #416: Commit 7ddf1bf pushed by arcz
April 15, 2024 14:28 20m 41s master
master
April 15, 2024 14:28 20m 41s
Fix Windows support after crytic-compile changes (#1235) Docker #415: Commit 43f6c88 pushed by arcz
April 10, 2024 17:32 20m 27s master
master
April 10, 2024 17:32 20m 27s
chore: remove repetitive word (#1232) Docker #414: Commit 028a6de pushed by arcz
April 8, 2024 09:29 22m 17s master
master
April 8, 2024 09:29 22m 17s
Bump softprops/action-gh-release from 2.0.3 to 2.0.4 (#1220) Docker #413: Commit 3f82caf pushed by arcz
March 19, 2024 10:41 20m 55s master
master
March 19, 2024 10:41 20m 55s
Bump DeterminateSystems/nix-installer-action from 9 to 10 (#1221) Docker #412: Commit a604022 pushed by arcz
March 19, 2024 10:40 22m 56s master
master
March 19, 2024 10:40 22m 56s
Bump DeterminateSystems/magic-nix-cache-action from 3 to 4 (#1222) Docker #411: Commit a1dffb2 pushed by arcz
March 19, 2024 10:40 20m 59s master
master
March 19, 2024 10:40 20m 59s
Fix comment misspell (#1217) Docker #410: Commit ddec4e6 pushed by arcz
March 18, 2024 09:16 21m 36s master
master
March 18, 2024 09:16 21m 36s
chore: fix some typos (#1215) Docker #409: Commit cb197b3 pushed by arcz
March 13, 2024 11:45 22m 0s master
master
March 13, 2024 11:45 22m 0s
Bump cachix/install-nix-action from 25 to 26 (#1204) Docker #408: Commit c157cd9 pushed by elopez
March 11, 2024 22:55 22m 2s master
master
March 11, 2024 22:55 22m 2s
Bump softprops/action-gh-release from 0.1.15 to 2.0.3 (#1203) Docker #407: Commit 601107b pushed by elopez
March 11, 2024 22:54 21m 16s master
master
March 11, 2024 22:54 21m 16s
use measureIO on saving coverage (#1202) Docker #406: Commit b824e95 pushed by arcz
March 8, 2024 17:33 22m 17s master
master
March 8, 2024 17:33 22m 17s
Improve delay shrinking (#1196) Docker #405: Commit 2dc9328 pushed by arcz
March 4, 2024 19:09 21m 59s master
master
March 4, 2024 19:09 21m 59s
Toggle tests and log panes on t and l (#1197) Docker #404: Commit 09a3c98 pushed by arcz
March 4, 2024 19:09 21m 50s master
master
March 4, 2024 19:09 21m 50s
Echidna 2.2.3 (#1195) Docker #403: Commit fabd1ff pushed by arcz
March 4, 2024 12:42 21m 22s v2.2.3
v2.2.3
March 4, 2024 12:42 21m 22s
Echidna 2.2.3 (#1195) Docker #402: Commit fabd1ff pushed by arcz
March 4, 2024 12:42 21m 16s master
master
March 4, 2024 12:42 21m 16s
feat: add CLI commands for RPC URL and block number (#1194) Docker #401: Commit 8339bad pushed by arcz
February 29, 2024 16:30 20m 39s master
master
February 29, 2024 16:30 20m 39s
Speed up shrinking (#1192) Docker #400: Commit d9f5016 pushed by arcz
February 29, 2024 15:51 22m 25s master
master
February 29, 2024 15:51 22m 25s
Update README.md (#1190) Docker #399: Commit e72975c pushed by arcz
February 27, 2024 15:38 21m 51s master
master
February 27, 2024 15:38 21m 51s
Update hevm to 0.53.0 (#1189) Docker #398: Commit 92f30c6 pushed by arcz
February 27, 2024 12:47 21m 18s master
master
February 27, 2024 12:47 21m 18s
nix: enhance TERMINFO for Linux builds (#1187) Docker #397: Commit 88ccd4c pushed by elopez
February 6, 2024 18:30 19m 55s master
master
February 6, 2024 18:30 19m 55s