Skip to content

Actions: crytic/echidna

Actions

Docker

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker.yml
134 workflow runs
134 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cleanups from GHC 9.8 Docker #478: Commit 1ef14f0 pushed by elopez
December 13, 2024 11:28 22m 7s master
master
December 13, 2024 11:28 22m 7s
ci: windows: apply libff patch carried by hevm Docker #477: Commit 602686a pushed by elopez
December 3, 2024 15:24 21m 56s master
master
December 3, 2024 15:24 21m 56s
Print total calls as part of the stats on exit Docker #476: Commit 162b986 pushed by elopez
December 3, 2024 15:20 21m 15s master
master
December 3, 2024 15:20 21m 15s
Allow disabling Slither (#1327) Docker #475: Commit 740e950 pushed by elopez
December 3, 2024 10:24 21m 52s master
master
December 3, 2024 10:24 21m 52s
Bump DeterminateSystems/nix-installer-action from 15 to 16 (#1330) Docker #474: Commit 0db6f4c pushed by elopez
December 3, 2024 10:22 22m 25s master
master
December 3, 2024 10:22 22m 25s
Bump softprops/action-gh-release from 2.0.8 to 2.1.0 (#1329) Docker #473: Commit 1fe887b pushed by elopez
November 12, 2024 18:06 22m 4s master
master
November 12, 2024 18:06 22m 4s
Bump DeterminateSystems/nix-installer-action from 14 to 15 (#1326) Docker #472: Commit 753f493 pushed by arcz
November 7, 2024 16:49 22m 55s master
master
November 7, 2024 16:49 22m 55s
Merge pull request #1320 from crytic/dev-bump-2.2.5 Docker #471: Commit 6d5ac38 pushed by ggrieco-tob
October 15, 2024 12:01 29s v2.2.5
v2.2.5
October 15, 2024 12:01 29s
Merge pull request #1320 from crytic/dev-bump-2.2.5 Docker #470: Commit 6d5ac38 pushed by samalws-tob
October 11, 2024 18:53 20m 29s master
master
October 11, 2024 18:53 20m 29s
Merge pull request #1317 from crytic/upgrade-hevm Docker #469: Commit a7eeb84 pushed by samalws-tob
October 11, 2024 17:07 21m 59s master
master
October 11, 2024 17:07 21m 59s
Bump cachix/install-nix-action from V28 to 30 (#1319) Docker #468: Commit 460a071 pushed by arcz
October 8, 2024 09:17 21m 53s master
master
October 8, 2024 09:17 21m 53s
Create FUNDING.json Docker #467: Commit c0297e8 pushed by montyly
October 3, 2024 12:55 21m 29s master
master
October 3, 2024 12:55 21m 29s
Collect coverage during init (#1304) Docker #466: Commit 6c72809 pushed by ggrieco-tob
September 24, 2024 07:19 21m 54s master
master
September 24, 2024 07:19 21m 54s
Add labels to call sequence (#1314) Docker #465: Commit 4ee7099 pushed by ggrieco-tob
September 18, 2024 09:25 20m 46s master
master
September 18, 2024 09:25 20m 46s
Bump cachix/install-nix-action from V27 to 28 (#1313) Docker #464: Commit 0059f17 pushed by arcz
September 17, 2024 08:59 21m 11s master
master
September 17, 2024 08:59 21m 11s
symExec support for tuple type (hevm PR 522) (#1309) Docker #463: Commit 8ad7357 pushed by arcz
September 16, 2024 16:31 21m 13s master
master
September 16, 2024 16:31 21m 13s
Merge pull request #1300 from crytic/hevm-20240826 Docker #462: Commit 9d81da5 pushed by arcz
September 16, 2024 16:28 21m 52s master
master
September 16, 2024 16:28 21m 52s
Bump DeterminateSystems/magic-nix-cache-action from 7 to 8 (#1307) Docker #461: Commit 73819e3 pushed by arcz
September 10, 2024 10:31 22m 30s master
master
September 10, 2024 10:31 22m 30s
Bump DeterminateSystems/nix-installer-action from 13 to 14 (#1306) Docker #460: Commit 7dddb2e pushed by arcz
September 10, 2024 10:31 22m 0s master
master
September 10, 2024 10:31 22m 0s
Read assert locations and determinate if they were executed or not (#… Docker #459: Commit 778f63c pushed by ggrieco-tob
August 22, 2024 18:06 21m 22s master
master
August 22, 2024 18:06 21m 22s
Add missing documentation (#1298) Docker #458: Commit 6956030 pushed by ggrieco-tob
August 20, 2024 06:50 22m 5s master
master
August 20, 2024 06:50 22m 5s
Upgrade build to GHC 9.6 (#1245) Docker #457: Commit 182580e pushed by ggrieco-tob
July 25, 2024 11:54 22m 3s master
master
July 25, 2024 11:54 22m 3s
Bump softprops/action-gh-release from 2.0.6 to 2.0.8 (#1295) Docker #456: Commit a550094 pushed by arcz
July 23, 2024 09:03 21m 51s master
master
July 23, 2024 09:03 21m 51s
Bump DeterminateSystems/nix-installer-action from 12 to 13 (#1294) Docker #455: Commit e7c17fe pushed by arcz
July 23, 2024 09:02 22m 2s master
master
July 23, 2024 09:02 22m 2s
IllegalOverflow should be similar to a revert instead of a VM error (… Docker #454: Commit 9893a09 pushed by ggrieco-tob
July 18, 2024 12:00 22m 11s master
master
July 18, 2024 12:00 22m 11s