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

Upgrade hevm Action #1275: Pull request #1317 synchronize by elopez
October 7, 2024 17:15 24s upgrade-hevm
upgrade-hevm
October 7, 2024 17:15 24s
Upgrade hevm Action #1274: Pull request #1317 synchronize by elopez
October 7, 2024 17:03 23s upgrade-hevm
upgrade-hevm
October 7, 2024 17:03 23s
Upgrade hevm Action #1273: Pull request #1317 synchronize by elopez
October 7, 2024 14:06 33s upgrade-hevm
upgrade-hevm
October 7, 2024 14:06 33s
Upgrade hevm Action #1272: Pull request #1317 synchronize by elopez
October 7, 2024 13:17 23s upgrade-hevm
upgrade-hevm
October 7, 2024 13:17 23s
Create FUNDING.json Action #1271: Commit c0297e8 pushed by montyly
October 3, 2024 12:55 23s master
master
October 3, 2024 12:55 23s
Upgrade hevm Action #1270: Pull request #1317 synchronize by elopez
October 1, 2024 19:24 23s upgrade-hevm
upgrade-hevm
October 1, 2024 19:24 23s
Upgrade hevm Action #1269: Pull request #1317 synchronize by elopez
October 1, 2024 16:59 29s upgrade-hevm
upgrade-hevm
October 1, 2024 16:59 29s
Upgrade hevm Action #1268: Pull request #1317 opened by elopez
October 1, 2024 16:53 30s upgrade-hevm
upgrade-hevm
October 1, 2024 16:53 30s
Bump cachix/install-nix-action from V28 to 29 Action #1267: Pull request #1316 opened by dependabot bot
September 30, 2024 21:33 25s dependabot/github_actions/cachix/install-nix-action-v29
dependabot/github_actions/cachix/install-nix-action-v29
September 30, 2024 21:33 25s
Collect coverage during init (#1304) Action #1266: Commit 6c72809 pushed by ggrieco-tob
September 24, 2024 07:19 25s master
master
September 24, 2024 07:19 25s
Collect coverage during deployment Action #1265: Pull request #1304 synchronize by elopez
September 19, 2024 07:18 23s covDuringDeploy2
covDuringDeploy2
September 19, 2024 07:18 23s
Add labels to call sequence (#1314) Action #1264: Commit 4ee7099 pushed by ggrieco-tob
September 18, 2024 09:25 22s master
master
September 18, 2024 09:25 22s
Add labels to call sequence Action #1263: Pull request #1314 synchronize by elopez
September 17, 2024 15:39 26s dev-labels
dev-labels
September 17, 2024 15:39 26s
Add labels to call sequence Action #1262: Pull request #1314 opened by elopez
September 17, 2024 14:52 26s dev-labels
dev-labels
September 17, 2024 14:52 26s
Bump cachix/install-nix-action from V27 to 28 (#1313) Action #1261: Commit 0059f17 pushed by arcz
September 17, 2024 08:59 32s master
master
September 17, 2024 08:59 32s
Bump cachix/install-nix-action from V27 to 28 Action #1260: Pull request #1313 opened by dependabot bot
September 16, 2024 21:42 1m 0s dependabot/github_actions/cachix/install-nix-action-V28
dependabot/github_actions/cachix/install-nix-action-V28
September 16, 2024 21:42 1m 0s
symExec support for tuple type (hevm PR 522) (#1309) Action #1259: Commit 8ad7357 pushed by arcz
September 16, 2024 16:31 23s master
master
September 16, 2024 16:31 23s
Merge pull request #1300 from crytic/hevm-20240826 Action #1258: Commit 9d81da5 pushed by arcz
September 16, 2024 16:28 27s master
master
September 16, 2024 16:28 27s
Upgrade hevm to upstream main Action #1257: Pull request #1300 synchronize by elopez
September 16, 2024 14:31 22s hevm-20240826
hevm-20240826
September 16, 2024 14:31 22s
Upgrade hevm to upstream main Action #1256: Pull request #1300 synchronize by elopez
September 16, 2024 13:10 27s hevm-20240826
hevm-20240826
September 16, 2024 13:10 27s
Upgrade hevm to upstream main Action #1255: Pull request #1300 synchronize by arcz
September 16, 2024 12:06 23s hevm-20240826
hevm-20240826
September 16, 2024 12:06 23s
Upgrade hevm to upstream main Action #1254: Pull request #1300 synchronize by elopez
September 16, 2024 11:59 22s hevm-20240826
hevm-20240826
September 16, 2024 11:59 22s
Corpus mutation to remove reverts Action #1253: Pull request #1312 synchronize by samalws-tob
September 13, 2024 20:06 22s removeReverts2
removeReverts2
September 13, 2024 20:06 22s
Corpus mutation to remove reverts Action #1252: Pull request #1312 opened by samalws-tob
September 13, 2024 18:32 23s removeReverts2
removeReverts2
September 13, 2024 18:32 23s
Don't add reverts to corpus Action #1251: Pull request #1311 opened by samalws-tob
September 13, 2024 15:47 25s noRevertsToCorpus
noRevertsToCorpus
September 13, 2024 15:47 25s