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

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
Fix sigstore file attachments (#1292) Docker #453: Commit f8deef5 pushed by elopez
July 16, 2024 15:23 21m 53s v2.2.4
v2.2.4
July 16, 2024 15:23 21m 53s
Fix sigstore file attachments (#1292) Docker #452: Commit f8deef5 pushed by elopez
July 16, 2024 15:21 23m 4s master
master
July 16, 2024 15:21 23m 4s
Echidna 2.2.4 (#1291) Docker #451: Commit 84702aa pushed by elopez
July 16, 2024 14:22 21m 14s v2.2.4
v2.2.4
July 16, 2024 14:22 21m 14s
Echidna 2.2.4 (#1291) Docker #450: Commit 84702aa pushed by elopez
July 16, 2024 14:20 21m 27s master
master
July 16, 2024 14:20 21m 27s
Raise default number of workers (#1288) Docker #449: Commit 3b5d6d9 pushed by ggrieco-tob
July 16, 2024 12:08 22m 16s master
master
July 16, 2024 12:08 22m 16s
Docs improvement (#1278) Docker #448: Commit 7fe4d40 pushed by elopez
July 16, 2024 08:23 21m 9s master
master
July 16, 2024 08:23 21m 9s
Fix typos (#1287) Docker #447: Commit 6220064 pushed by elopez
July 16, 2024 08:20 20m 53s master
master
July 16, 2024 08:20 20m 53s