Skip to content

Actions: crytic/echidna

Actions

Action

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
action.yml
381 workflow runs
381 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Corpus mutation to remove reverts Action #1250: Pull request #1310 synchronize by samalws-tob
September 13, 2024 13:36 25s removeRevert
removeRevert
September 13, 2024 13:36 25s
Corpus mutation to remove reverts Action #1249: Pull request #1310 opened by samalws-tob
September 12, 2024 21:44 25s removeRevert
removeRevert
September 12, 2024 21:44 25s
symExec support for tuple type (hevm PR 522) Action #1248: Pull request #1309 opened by samalws-tob
September 12, 2024 18:14 21s symexecTuple
symexecTuple
September 12, 2024 18:14 21s
Refactors in Exec.hs Action #1247: Pull request #1282 synchronize by samalws-tob
September 11, 2024 18:10 23s simplifyExecTx
simplifyExecTx
September 11, 2024 18:10 23s
Bump DeterminateSystems/magic-nix-cache-action from 7 to 8 (#1307) Action #1246: Commit 73819e3 pushed by arcz
September 10, 2024 10:31 21s master
master
September 10, 2024 10:31 21s
Bump DeterminateSystems/nix-installer-action from 13 to 14 (#1306) Action #1245: Commit 7dddb2e pushed by arcz
September 10, 2024 10:31 27s master
master
September 10, 2024 10:31 27s
Bump DeterminateSystems/magic-nix-cache-action from 7 to 8 Action #1244: Pull request #1307 opened by dependabot bot
September 9, 2024 21:47 25s dependabot/github_actions/DeterminateSystems/magic-nix-cache-action-8
dependabot/github_actions/DeterminateSystems/magic-nix-cache-action-8
September 9, 2024 21:47 25s
Bump DeterminateSystems/nix-installer-action from 13 to 14 Action #1243: Pull request #1306 opened by dependabot bot
September 9, 2024 21:47 29s dependabot/github_actions/DeterminateSystems/nix-installer-action-14
dependabot/github_actions/DeterminateSystems/nix-installer-action-14
September 9, 2024 21:47 29s
PR 1265 but without the tuple, testing for speed.... Action #1242: Pull request #1305 synchronize by samalws-tob
September 9, 2024 20:39 21s dev-cov-exec-counts-notup-test
dev-cov-exec-counts-notup-test
September 9, 2024 20:39 21s
PR 1265 but without the tuple, testing for speed.... Action #1241: Pull request #1305 synchronize by samalws-tob
September 9, 2024 20:06 24s dev-cov-exec-counts-notup-test
dev-cov-exec-counts-notup-test
September 9, 2024 20:06 24s
Collect coverage during deployment Action #1240: Pull request #1304 synchronize by samalws-tob
September 9, 2024 16:12 25s covDuringDeploy2
covDuringDeploy2
September 9, 2024 16:12 25s
Collect coverage during deployment Action #1239: Pull request #1304 synchronize by samalws-tob
September 9, 2024 15:58 27s covDuringDeploy2
covDuringDeploy2
September 9, 2024 15:58 27s
Collect coverage during deployment Action #1238: Pull request #1304 synchronize by samalws-tob
September 9, 2024 14:58 27s covDuringDeploy2
covDuringDeploy2
September 9, 2024 14:58 27s
Collect coverage during deployment Action #1237: Pull request #1304 synchronize by samalws-tob
September 9, 2024 14:57 29s covDuringDeploy2
covDuringDeploy2
September 9, 2024 14:57 29s
Collect coverage during deployment Action #1236: Pull request #1304 synchronize by samalws-tob
September 6, 2024 20:10 33s covDuringDeploy2
covDuringDeploy2
September 6, 2024 20:10 33s
Collect coverage during deployment Action #1235: Pull request #1304 synchronize by samalws-tob
September 6, 2024 14:33 21s covDuringDeploy2
covDuringDeploy2
September 6, 2024 14:33 21s
Collect coverage during deployment Action #1234: Pull request #1304 synchronize by samalws-tob
September 6, 2024 13:57 24s covDuringDeploy2
covDuringDeploy2
September 6, 2024 13:57 24s
Collect coverage during deployment Action #1233: Pull request #1304 opened by samalws-tob
September 6, 2024 13:28 27s covDuringDeploy2
covDuringDeploy2
September 6, 2024 13:28 27s
Collect coverage during deployment Action #1232: Pull request #1303 opened by samalws-tob
September 3, 2024 20:53 33s covDuringDeploy
covDuringDeploy
September 3, 2024 20:53 33s
Add support for unlimited tests Action #1231: Pull request #1302 opened by elopez
August 30, 2024 08:29 32s dev-unlimited-test
dev-unlimited-test
August 30, 2024 08:29 32s
Upgrade hevm to upstream main Action #1230: Pull request #1300 synchronize by elopez
August 26, 2024 17:46 25s hevm-20240826
hevm-20240826
August 26, 2024 17:46 25s
Upgrade hevm to upstream main Action #1229: Pull request #1300 synchronize by elopez
August 26, 2024 17:11 28s hevm-20240826
hevm-20240826
August 26, 2024 17:11 28s
Upgrade hevm to upstream main Action #1228: Pull request #1300 synchronize by elopez
August 26, 2024 16:05 28s hevm-20240826
hevm-20240826
August 26, 2024 16:05 28s
Upgrade hevm to upstream main Action #1227: Pull request #1300 synchronize by elopez
August 26, 2024 15:58 32s hevm-20240826
hevm-20240826
August 26, 2024 15:58 32s
Upgrade hevm to upstream main Action #1226: Pull request #1300 synchronize by elopez
August 26, 2024 15:27 1m 12s hevm-20240826
hevm-20240826
August 26, 2024 15:27 1m 12s