Skip to content

Actions: crytic/echidna

Actions

HLint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hlint.yml
26 workflow run results
26 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Update hevm to 0.51.3 (#1090) HLint #1649: Commit f4dfed2 pushed by arcz
July 17, 2023 08:43 57s master
master
July 17, 2023 08:43 57s
Update hevm to 0.51.3 HLint #1648: Pull request #1090 synchronize by arcz
July 14, 2023 15:54 51s hevm-0.51.2
hevm-0.51.2
July 14, 2023 15:54 51s
Init simple installer HLint #1647: Pull request #1082 synchronize by bohendo
July 13, 2023 00:09 59s simple-installer
simple-installer
July 13, 2023 00:09 59s
Show the output of the LCOV report in the README HLint #1646: Pull request #1093 opened by ggrieco-tob
July 11, 2023 15:42 55s dev-lcov-example
dev-lcov-example
July 11, 2023 15:42 55s
Update hevm to 0.51.3 HLint #1645: Pull request #1090 synchronize by arcz
July 11, 2023 13:29 50s hevm-0.51.2
hevm-0.51.2
July 11, 2023 13:29 50s
Update hevm to 0.51.3 HLint #1644: Pull request #1090 synchronize by arcz
July 11, 2023 09:46 50s hevm-0.51.2
hevm-0.51.2
July 11, 2023 09:46 50s
Update hevm to 0.51.3 HLint #1643: Pull request #1090 synchronize by arcz
July 11, 2023 08:36 52s hevm-0.51.2
hevm-0.51.2
July 11, 2023 08:36 52s