Skip to content

Actions: crytic/echidna

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
486 workflow runs
486 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upgrade hevm to upstream main CI #2058: Pull request #1300 synchronize by elopez
September 16, 2024 13:10 39m 41s hevm-20240826
hevm-20240826
September 16, 2024 13:10 39m 41s
Upgrade hevm to upstream main CI #2057: Pull request #1300 synchronize by arcz
September 16, 2024 12:06 38m 20s hevm-20240826
hevm-20240826
September 16, 2024 12:06 38m 20s
Upgrade hevm to upstream main CI #2056: Pull request #1300 synchronize by elopez
September 16, 2024 11:59 32m 44s hevm-20240826
hevm-20240826
September 16, 2024 11:59 32m 44s
Corpus mutation to remove reverts CI #2055: Pull request #1312 synchronize by samalws-tob
September 13, 2024 20:06 44m 23s removeReverts2
removeReverts2
September 13, 2024 20:06 44m 23s
Corpus mutation to remove reverts CI #2054: Pull request #1312 opened by samalws-tob
September 13, 2024 18:32 17m 43s removeReverts2
removeReverts2
September 13, 2024 18:32 17m 43s
Don't add reverts to corpus CI #2053: Pull request #1311 opened by samalws-tob
September 13, 2024 15:47 18m 33s noRevertsToCorpus
noRevertsToCorpus
September 13, 2024 15:47 18m 33s
Corpus mutation to remove reverts CI #2052: Pull request #1310 synchronize by samalws-tob
September 13, 2024 13:36 42m 37s removeRevert
removeRevert
September 13, 2024 13:36 42m 37s
Corpus mutation to remove reverts CI #2051: Pull request #1310 opened by samalws-tob
September 12, 2024 21:44 38m 33s removeRevert
removeRevert
September 12, 2024 21:44 38m 33s
symExec support for tuple type (hevm PR 522) CI #2050: Pull request #1309 opened by samalws-tob
September 12, 2024 18:14 36m 52s symexecTuple
symexecTuple
September 12, 2024 18:14 36m 52s
Refactors in Exec.hs CI #2049: Pull request #1282 synchronize by samalws-tob
September 11, 2024 18:10 43m 28s simplifyExecTx
simplifyExecTx
September 11, 2024 18:10 43m 28s
Bump DeterminateSystems/magic-nix-cache-action from 7 to 8 (#1307) CI #2048: Commit 73819e3 pushed by arcz
September 10, 2024 10:31 47m 55s master
master
September 10, 2024 10:31 47m 55s
Bump DeterminateSystems/nix-installer-action from 13 to 14 (#1306) CI #2047: Commit 7dddb2e pushed by arcz
September 10, 2024 10:31 40m 26s master
master
September 10, 2024 10:31 40m 26s
Bump DeterminateSystems/magic-nix-cache-action from 7 to 8 CI #2046: Pull request #1307 opened by dependabot bot
September 9, 2024 21:47 44m 36s dependabot/github_actions/DeterminateSystems/magic-nix-cache-action-8
dependabot/github_actions/DeterminateSystems/magic-nix-cache-action-8
September 9, 2024 21:47 44m 36s
Bump DeterminateSystems/nix-installer-action from 13 to 14 CI #2045: Pull request #1306 opened by dependabot bot
September 9, 2024 21:47 45m 48s dependabot/github_actions/DeterminateSystems/nix-installer-action-14
dependabot/github_actions/DeterminateSystems/nix-installer-action-14
September 9, 2024 21:47 45m 48s
PR 1265 but without the tuple, testing for speed.... CI #2044: Pull request #1305 synchronize by samalws-tob
September 9, 2024 20:39 47m 7s dev-cov-exec-counts-notup-test
dev-cov-exec-counts-notup-test
September 9, 2024 20:39 47m 7s
PR 1265 but without the tuple, testing for speed.... CI #2043: Pull request #1305 synchronize by samalws-tob
September 9, 2024 20:06 16m 41s dev-cov-exec-counts-notup-test
dev-cov-exec-counts-notup-test
September 9, 2024 20:06 16m 41s
Collect coverage during deployment CI #2042: Pull request #1304 synchronize by samalws-tob
September 9, 2024 16:12 50m 34s covDuringDeploy2
covDuringDeploy2
September 9, 2024 16:12 50m 34s
Collect coverage during deployment CI #2041: Pull request #1304 synchronize by samalws-tob
September 9, 2024 15:58 46m 15s covDuringDeploy2
covDuringDeploy2
September 9, 2024 15:58 46m 15s
Collect coverage during deployment CI #2040: Pull request #1304 synchronize by samalws-tob
September 9, 2024 14:58 16m 10s covDuringDeploy2
covDuringDeploy2
September 9, 2024 14:58 16m 10s
Collect coverage during deployment CI #2039: Pull request #1304 synchronize by samalws-tob
September 9, 2024 14:57 46m 1s covDuringDeploy2
covDuringDeploy2
September 9, 2024 14:57 46m 1s
Collect coverage during deployment CI #2038: Pull request #1304 synchronize by samalws-tob
September 6, 2024 20:10 39m 6s covDuringDeploy2
covDuringDeploy2
September 6, 2024 20:10 39m 6s
Collect coverage during deployment CI #2037: Pull request #1304 synchronize by samalws-tob
September 6, 2024 14:33 35m 27s covDuringDeploy2
covDuringDeploy2
September 6, 2024 14:33 35m 27s
Collect coverage during deployment CI #2036: Pull request #1304 synchronize by samalws-tob
September 6, 2024 13:57 39m 12s covDuringDeploy2
covDuringDeploy2
September 6, 2024 13:57 39m 12s
Collect coverage during deployment CI #2035: Pull request #1304 opened by samalws-tob
September 6, 2024 13:28 46m 51s covDuringDeploy2
covDuringDeploy2
September 6, 2024 13:28 46m 51s
Collect coverage during deployment CI #2034: Pull request #1303 opened by samalws-tob
September 3, 2024 20:53 40m 35s covDuringDeploy
covDuringDeploy
September 3, 2024 20:53 40m 35s