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

Add support for unlimited tests HLint #2057: Pull request #1302 opened by elopez
August 30, 2024 08:29 1m 3s dev-unlimited-test
dev-unlimited-test
August 30, 2024 08:29 1m 3s
Upgrade hevm to upstream main HLint #2056: Pull request #1300 synchronize by elopez
August 26, 2024 17:46 24m 45s hevm-20240826
hevm-20240826
August 26, 2024 17:46 24m 45s
Upgrade hevm to upstream main HLint #2055: Pull request #1300 synchronize by elopez
August 26, 2024 17:11 1m 15s hevm-20240826
hevm-20240826
August 26, 2024 17:11 1m 15s
Upgrade hevm to upstream main HLint #2054: Pull request #1300 synchronize by elopez
August 26, 2024 16:05 1m 5s hevm-20240826
hevm-20240826
August 26, 2024 16:05 1m 5s
Upgrade hevm to upstream main HLint #2053: Pull request #1300 synchronize by elopez
August 26, 2024 15:58 1m 7s hevm-20240826
hevm-20240826
August 26, 2024 15:58 1m 7s
Upgrade hevm to upstream main HLint #2052: Pull request #1300 synchronize by elopez
August 26, 2024 15:27 1m 6s hevm-20240826
hevm-20240826
August 26, 2024 15:27 1m 6s
Upgrade hevm to upstream main HLint #2051: Pull request #1300 synchronize by elopez
August 26, 2024 14:52 21m 31s hevm-20240826
hevm-20240826
August 26, 2024 14:52 21m 31s
Upgrade hevm to upstream main HLint #2050: Pull request #1300 synchronize by elopez
August 26, 2024 14:12 1m 2s hevm-20240826
hevm-20240826
August 26, 2024 14:12 1m 2s
Upgrade hevm to upstream main HLint #2049: Pull request #1300 synchronize by elopez
August 26, 2024 13:39 1m 0s hevm-20240826
hevm-20240826
August 26, 2024 13:39 1m 0s
Upgrade hevm to upstream main HLint #2048: Pull request #1300 opened by elopez
August 26, 2024 12:58 1m 1s hevm-20240826
hevm-20240826
August 26, 2024 12:58 1m 1s
Read assert locations and determinate if they were executed or not (#… HLint #2047: Commit 778f63c pushed by ggrieco-tob
August 22, 2024 18:06 1m 4s master
master
August 22, 2024 18:06 1m 4s
Read assert locations and determinate if they were executed or not HLint #2046: Pull request #1110 synchronize by samalws-tob
August 22, 2024 15:17 1m 0s dev-assert-stats
dev-assert-stats
August 22, 2024 15:17 1m 0s
Read assert locations and determinate if they were executed or not HLint #2045: Pull request #1110 synchronize by samalws-tob
August 21, 2024 19:54 59s dev-assert-stats
dev-assert-stats
August 21, 2024 19:54 59s
Read assert locations and determinate if they were executed or not HLint #2044: Pull request #1110 synchronize by samalws-tob
August 21, 2024 18:12 1m 5s dev-assert-stats
dev-assert-stats
August 21, 2024 18:12 1m 5s
Read assert locations and determinate if they were executed or not HLint #2043: Pull request #1110 synchronize by samalws-tob
August 20, 2024 21:26 1m 7s dev-assert-stats
dev-assert-stats
August 20, 2024 21:26 1m 7s
Read assert locations and determinate if they were executed or not HLint #2042: Pull request #1110 synchronize by samalws-tob
August 20, 2024 20:05 1m 3s dev-assert-stats
dev-assert-stats
August 20, 2024 20:05 1m 3s
Read assert locations and determinate if they were executed or not HLint #2041: Pull request #1110 synchronize by samalws-tob
August 20, 2024 19:45 1m 4s dev-assert-stats
dev-assert-stats
August 20, 2024 19:45 1m 4s
Add missing documentation (#1298) HLint #2040: Commit 6956030 pushed by ggrieco-tob
August 20, 2024 06:50 58s master
master
August 20, 2024 06:50 58s
Add missing documentation HLint #2039: Pull request #1298 synchronize by ggrieco-tob
August 15, 2024 14:12 1m 5s dev-doc
dev-doc
August 15, 2024 14:12 1m 5s
Add missing documentation HLint #2038: Pull request #1298 opened by ggrieco-tob
August 15, 2024 10:06 1m 2s dev-doc
dev-doc
August 15, 2024 10:06 1m 2s
coverage: count number of executions per line HLint #2036: Pull request #1265 synchronize by elopez
August 2, 2024 10:28 1m 3s dev-cov-exec-counts
dev-cov-exec-counts
August 2, 2024 10:28 1m 3s
Upgrade build to GHC 9.6 (#1245) HLint #2035: Commit 182580e pushed by ggrieco-tob
July 25, 2024 11:54 59s master
master
July 25, 2024 11:54 59s
Upgrade build to GHC 9.6 HLint #2034: Pull request #1245 synchronize by elopez
July 25, 2024 10:15 1m 0s dev-ghc-9.6
dev-ghc-9.6
July 25, 2024 10:15 1m 0s
Upgrade build to GHC 9.6 HLint #2033: Pull request #1245 synchronize by elopez
July 25, 2024 09:59 1m 5s dev-ghc-9.6
dev-ghc-9.6
July 25, 2024 09:59 1m 5s
Upgrade build to GHC 9.6 HLint #2032: Pull request #1245 synchronize by elopez
July 25, 2024 09:33 1m 2s dev-ghc-9.6
dev-ghc-9.6
July 25, 2024 09:33 1m 2s