Skip to content

Actions: crytic/echidna

Actions

Nix and release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
394 workflow runs
394 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upgrade hevm to upstream main Nix and release #377: Pull request #1300 synchronize by elopez
September 16, 2024 14:31 21m 39s hevm-20240826
hevm-20240826
September 16, 2024 14:31 21m 39s
Upgrade hevm to upstream main Nix and release #376: Pull request #1300 synchronize by elopez
September 16, 2024 13:10 1h 8m 32s hevm-20240826
hevm-20240826
September 16, 2024 13:10 1h 8m 32s
Upgrade hevm to upstream main Nix and release #375: Pull request #1300 synchronize by arcz
September 16, 2024 12:06 1h 41m 10s hevm-20240826
hevm-20240826
September 16, 2024 12:06 1h 41m 10s
Upgrade hevm to upstream main Nix and release #374: Pull request #1300 synchronize by elopez
September 16, 2024 11:59 16m 14s hevm-20240826
hevm-20240826
September 16, 2024 11:59 16m 14s
Corpus mutation to remove reverts Nix and release #373: Pull request #1312 synchronize by samalws-tob
September 13, 2024 20:06 8m 27s removeReverts2
removeReverts2
September 13, 2024 20:06 8m 27s
Corpus mutation to remove reverts Nix and release #372: Pull request #1312 opened by samalws-tob
September 13, 2024 18:32 9m 41s removeReverts2
removeReverts2
September 13, 2024 18:32 9m 41s
Don't add reverts to corpus Nix and release #371: Pull request #1311 opened by samalws-tob
September 13, 2024 15:47 14m 28s noRevertsToCorpus
noRevertsToCorpus
September 13, 2024 15:47 14m 28s
Corpus mutation to remove reverts Nix and release #370: Pull request #1310 synchronize by samalws-tob
September 13, 2024 13:36 8m 13s removeRevert
removeRevert
September 13, 2024 13:36 8m 13s
Corpus mutation to remove reverts Nix and release #369: Pull request #1310 opened by samalws-tob
September 12, 2024 21:44 10m 40s removeRevert
removeRevert
September 12, 2024 21:44 10m 40s
symExec support for tuple type (hevm PR 522) Nix and release #368: Pull request #1309 opened by samalws-tob
September 12, 2024 18:14 10m 33s symexecTuple
symexecTuple
September 12, 2024 18:14 10m 33s
Refactors in Exec.hs Nix and release #367: Pull request #1282 synchronize by samalws-tob
September 11, 2024 18:10 8m 59s simplifyExecTx
simplifyExecTx
September 11, 2024 18:10 8m 59s
Bump DeterminateSystems/magic-nix-cache-action from 7 to 8 (#1307) Nix and release #366: Commit 73819e3 pushed by arcz
September 10, 2024 10:31 8m 40s master
master
September 10, 2024 10:31 8m 40s
Bump DeterminateSystems/nix-installer-action from 13 to 14 (#1306) Nix and release #365: Commit 7dddb2e pushed by arcz
September 10, 2024 10:31 10m 59s master
master
September 10, 2024 10:31 10m 59s
Bump DeterminateSystems/magic-nix-cache-action from 7 to 8 Nix and release #364: Pull request #1307 opened by dependabot bot
September 9, 2024 21:47 10m 58s dependabot/github_actions/DeterminateSystems/magic-nix-cache-action-8
dependabot/github_actions/DeterminateSystems/magic-nix-cache-action-8
September 9, 2024 21:47 10m 58s
Bump DeterminateSystems/nix-installer-action from 13 to 14 Nix and release #363: Pull request #1306 opened by dependabot bot
September 9, 2024 21:47 9m 37s dependabot/github_actions/DeterminateSystems/nix-installer-action-14
dependabot/github_actions/DeterminateSystems/nix-installer-action-14
September 9, 2024 21:47 9m 37s
PR 1265 but without the tuple, testing for speed.... Nix and release #362: Pull request #1305 synchronize by samalws-tob
September 9, 2024 20:39 16m 10s dev-cov-exec-counts-notup-test
dev-cov-exec-counts-notup-test
September 9, 2024 20:39 16m 10s
PR 1265 but without the tuple, testing for speed.... Nix and release #361: Pull request #1305 synchronize by samalws-tob
September 9, 2024 20:06 9m 19s dev-cov-exec-counts-notup-test
dev-cov-exec-counts-notup-test
September 9, 2024 20:06 9m 19s
Collect coverage during deployment Nix and release #360: Pull request #1304 synchronize by samalws-tob
September 9, 2024 16:12 12m 49s covDuringDeploy2
covDuringDeploy2
September 9, 2024 16:12 12m 49s
Collect coverage during deployment Nix and release #359: Pull request #1304 synchronize by samalws-tob
September 9, 2024 15:58 12m 52s covDuringDeploy2
covDuringDeploy2
September 9, 2024 15:58 12m 52s
Collect coverage during deployment Nix and release #358: Pull request #1304 synchronize by samalws-tob
September 9, 2024 14:58 10m 45s covDuringDeploy2
covDuringDeploy2
September 9, 2024 14:58 10m 45s
Collect coverage during deployment Nix and release #357: Pull request #1304 synchronize by samalws-tob
September 9, 2024 14:57 8m 44s covDuringDeploy2
covDuringDeploy2
September 9, 2024 14:57 8m 44s
Collect coverage during deployment Nix and release #356: Pull request #1304 synchronize by samalws-tob
September 6, 2024 20:10 10m 19s covDuringDeploy2
covDuringDeploy2
September 6, 2024 20:10 10m 19s
Collect coverage during deployment Nix and release #355: Pull request #1304 synchronize by samalws-tob
September 6, 2024 14:33 8m 27s covDuringDeploy2
covDuringDeploy2
September 6, 2024 14:33 8m 27s
Collect coverage during deployment Nix and release #354: Pull request #1304 synchronize by samalws-tob
September 6, 2024 13:57 10m 52s covDuringDeploy2
covDuringDeploy2
September 6, 2024 13:57 10m 52s
Collect coverage during deployment Nix and release #353: Pull request #1304 opened by samalws-tob
September 6, 2024 13:28 11m 22s covDuringDeploy2
covDuringDeploy2
September 6, 2024 13:28 11m 22s