Skip to content

Actions: crytic/echidna

Actions

HLint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hlint.yml
458 workflow runs
458 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Print bytes32 values as hex HLint #1674: Pull request #1117 synchronize by ggrieco-tob
September 18, 2023 16:58 1m 10s fix-print-bytes-as-hex
fix-print-bytes-as-hex
September 18, 2023 16:58 1m 10s
Print bytes32 values as hex HLint #1673: Pull request #1117 synchronize by ggrieco-tob
September 18, 2023 16:53 55s fix-print-bytes-as-hex
fix-print-bytes-as-hex
September 18, 2023 16:53 55s
Print bytes32 values as hex HLint #1672: Pull request #1117 opened by ggrieco-tob
September 15, 2023 15:33 58s fix-print-bytes-as-hex
fix-print-bytes-as-hex
September 15, 2023 15:33 58s
Fix broken link (#1113) HLint #1671: Commit 31c187b pushed by arcz
September 12, 2023 18:13 51s master
master
September 12, 2023 18:13 51s
Bump cachix/install-nix-action from 22 to 23 (#1112) HLint #1670: Commit f8ccfaa pushed by arcz
September 11, 2023 09:50 54s master
master
September 11, 2023 09:50 54s
Revert "docker: temporarily pin crytic-compile @ 53167f3f3d63 (#912)" HLint #1669: Pull request #1115 opened by elopez
September 8, 2023 15:30 54s dev-unpin-crytic-compile
dev-unpin-crytic-compile
September 8, 2023 15:30 54s
Fix broken link HLint #1668: Pull request #1113 opened by ardislu
September 7, 2023 04:49 1m 9s fix-broken-link
fix-broken-link
September 7, 2023 04:49 1m 9s
Bump cachix/install-nix-action from 22 to 23 HLint #1667: Pull request #1112 synchronize by dependabot bot
September 5, 2023 09:42 1m 1s dependabot/github_actions/cachix/install-nix-action-23
dependabot/github_actions/cachix/install-nix-action-23
September 5, 2023 09:42 1m 1s
Bump actions/checkout from 3 to 4 (#1111) HLint #1666: Commit 058b517 pushed by arcz
September 5, 2023 09:41 1m 1s master
master
September 5, 2023 09:41 1m 1s
Bump cachix/install-nix-action from 22 to 23 HLint #1665: Pull request #1112 opened by dependabot bot
September 4, 2023 21:55 1m 8s dependabot/github_actions/cachix/install-nix-action-23
dependabot/github_actions/cachix/install-nix-action-23
September 4, 2023 21:55 1m 8s
Bump actions/checkout from 3 to 4 HLint #1664: Pull request #1111 opened by dependabot bot
September 4, 2023 21:55 1m 6s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
September 4, 2023 21:55 1m 6s
Read assert locations and determinate if they were executed or not HLint #1663: Pull request #1110 synchronize by ggrieco-tob
September 1, 2023 16:16 1m 0s dev-assert-stats
dev-assert-stats
September 1, 2023 16:16 1m 0s
Read assert locations and determinate if they were executed or not HLint #1662: Pull request #1110 opened by ggrieco-tob
September 1, 2023 13:57 58s dev-assert-stats
dev-assert-stats
September 1, 2023 13:57 58s
re-enable using slither for vyper files (#1108) HLint #1661: Commit 9ea8a2c pushed by ggrieco-tob
August 31, 2023 11:36 1m 0s master
master
August 31, 2023 11:36 1m 0s
Re-enable using slither for vyper files HLint #1660: Pull request #1108 opened by ggrieco-tob
August 30, 2023 12:08 56s fix-vyper-support
fix-vyper-support
August 30, 2023 12:08 56s
Add CLI command to generate sample config HLint #1659: Pull request #1100 synchronize by arcz
July 22, 2023 14:22 56s init-config
init-config
July 22, 2023 14:22 56s
Add CLI command to generate sample config HLint #1658: Pull request #1100 opened by arcz
July 22, 2023 14:13 50s init-config
init-config
July 22, 2023 14:13 50s
Echidna 2.2.1 (#1099) HLint #1657: Commit 21e6e52 pushed by arcz
July 20, 2023 16:17 56s master
master
July 20, 2023 16:17 56s
Echidna 2.2.1 HLint #1656: Pull request #1099 opened by arcz
July 20, 2023 11:36 57s 2.2.1
2.2.1
July 20, 2023 11:36 57s
Bring back loading multiple combined JSON files (#1098) HLint #1655: Commit 7be4072 pushed by arcz
July 18, 2023 14:16 49s master
master
July 18, 2023 14:16 49s
Bring back loading multiple combined JSON files HLint #1654: Pull request #1098 synchronize by arcz
July 18, 2023 13:43 49s fix-hardhat
fix-hardhat
July 18, 2023 13:43 49s
Bring back loading multiple combined JSON files HLint #1653: Pull request #1098 opened by arcz
July 18, 2023 13:40 59s fix-hardhat
fix-hardhat
July 18, 2023 13:40 59s
Symbolic execution PoC HLint #1652: Pull request #1030 synchronize by arcz
July 17, 2023 11:50 48s symexec
symexec
July 17, 2023 11:50 48s
Update to GHC 9.4 HLint #1651: Pull request #1096 reopened by siraben
July 17, 2023 11:36 53s ghc-9.4
ghc-9.4
July 17, 2023 11:36 53s
Update to GHC 9.4 HLint #1650: Pull request #1096 opened by arcz
July 17, 2023 10:18 50s ghc-9.4
ghc-9.4
July 17, 2023 10:18 50s
ProTip! You can narrow down the results and go further in time using created:<2023-07-17 or the other filters available.