Skip to content

Actions: crytic/echidna

Actions

Docker

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker.yml
136 workflow runs
136 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump sigstore/gh-action-sigstore-python from 2.1.1 to 3.0.0 (#1289) Docker #446: Commit 7bbfd68 pushed by elopez
July 16, 2024 08:16 21m 48s master
master
July 16, 2024 08:16 21m 48s
Initial support for tstore/tload (#1286) Docker #445: Commit 08041e4 pushed by ggrieco-tob
July 11, 2024 13:29 22m 49s master
master
July 11, 2024 13:29 22m 49s
show trace on UnknownFailure (#1283) Docker #444: Commit bf14ea4 pushed by ggrieco-tob
July 8, 2024 13:36 20m 59s master
master
July 8, 2024 13:36 20m 59s
Docker Docker #443: by ggrieco-tob
July 5, 2024 19:41 21m 18s master
master
July 5, 2024 19:41 21m 18s
Shrink on one worker (#1280) Docker #442: Commit ec5a3c1 pushed by ggrieco-tob
July 5, 2024 13:16 22m 13s master
master
July 5, 2024 13:16 22m 13s
Fix MVar issue (#1281) Docker #441: Commit 43ae84e pushed by ggrieco-tob
July 5, 2024 11:33 21m 58s master
master
July 5, 2024 11:33 21m 58s
show gas/s (#1279) Docker #440: Commit 882c699 pushed by arcz
June 26, 2024 20:50 21m 27s master
master
June 26, 2024 20:50 21m 27s
Bump softprops/action-gh-release from 2.0.5 to 2.0.6 (#1277) Docker #439: Commit 2c72579 pushed by arcz
June 25, 2024 11:28 24m 56s master
master
June 25, 2024 11:28 24m 56s
emit saved reproducer log message as event rather than putstrln (#1274) Docker #438: Commit 7953bd7 pushed by ggrieco-tob
June 21, 2024 11:56 21m 26s master
master
June 21, 2024 11:56 21m 26s
Bump docker/build-push-action from 5 to 6 (#1275) Docker #437: Commit bd90027 pushed by arcz
June 18, 2024 10:17 21m 55s master
master
June 18, 2024 10:17 21m 55s
chore: fix some comments (#1272) Docker #436: Commit a73bc9d pushed by arcz
June 14, 2024 13:20 21m 29s master
master
June 14, 2024 13:20 21m 29s
emit log message when saving reproducers (#1273) Docker #435: Commit 1cb47b3 pushed by ggrieco-tob
June 13, 2024 09:19 21m 42s master
master
June 13, 2024 09:19 21m 42s
show transactions when test is falsified in text mode (#1271) Docker #434: Commit 9f05340 pushed by ggrieco-tob
June 13, 2024 09:18 22m 4s master
master
June 13, 2024 09:18 22m 4s
Improve max code size error message (#1269) Docker #433: Commit 8347ad9 pushed by arcz
June 6, 2024 12:36 23m 3s master
master
June 6, 2024 12:36 23m 3s
Bump DeterminateSystems/magic-nix-cache-action from 6 to 7 (#1267) Docker #432: Commit 5a366d2 pushed by arcz
June 4, 2024 10:15 20m 44s master
master
June 4, 2024 10:15 20m 44s
Bump DeterminateSystems/nix-installer-action from 11 to 12 (#1268) Docker #431: Commit 42e6338 pushed by arcz
June 4, 2024 10:14 21m 12s master
master
June 4, 2024 10:14 21m 12s
Improved shrinking removing reverts from reproducers (#1250) Docker #430: Commit 55a8091 pushed by ggrieco-tob
May 28, 2024 17:29 21m 21s master
master
May 28, 2024 17:29 21m 21s
Allow to use specific filter for direct symexec (#1251) Docker #429: Commit 80acdf5 pushed by ggrieco-tob
May 28, 2024 17:28 21m 40s master
master
May 28, 2024 17:28 21m 40s
avoid a crash when invalid filtering is used and provide a better err… Docker #428: Commit 53a0a91 pushed by ggrieco-tob
May 28, 2024 13:54 21m 39s master
master
May 28, 2024 13:54 21m 39s
--- (#1262) Docker #427: Commit acaaaed pushed by arcz
May 28, 2024 12:34 23m 55s master
master
May 28, 2024 12:34 23m 55s
--- (#1263) Docker #426: Commit 9c8e303 pushed by arcz
May 28, 2024 12:34 2m 37s master
master
May 28, 2024 12:34 2m 37s
Bump DeterminateSystems/magic-nix-cache-action from 4 to 6 (#1257) Docker #425: Commit 473abdc pushed by arcz
May 14, 2024 13:03 28m 26s master
master
May 14, 2024 13:03 28m 26s
Bump DeterminateSystems/nix-installer-action from 10 to 11 (#1256) Docker #424: Commit d6295a0 pushed by arcz
May 14, 2024 13:02 22m 38s master
master
May 14, 2024 13:02 22m 38s
Bump softprops/action-gh-release from 2.0.4 to 2.0.5 (#1255) Docker #423: Commit 1375464 pushed by arcz
May 14, 2024 13:02 22m 58s master
master
May 14, 2024 13:02 22m 58s
Upgrade hevm to latest echidna-patches commit (#1243) Docker #422: Commit 1babeca pushed by elopez
May 8, 2024 17:24 21m 21s master
master
May 8, 2024 17:24 21m 21s