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

Emit "saved reproducer" log message as event rather than putStrLn HLint #1979: Pull request #1274 synchronize by samalws-tob
June 20, 2024 19:29 1m 0s logReproducerFilename-2
logReproducerFilename-2
June 20, 2024 19:29 1m 0s
Bump docker/build-push-action from 5 to 6 (#1275) HLint #1978: Commit bd90027 pushed by arcz
June 18, 2024 10:17 59s master
master
June 18, 2024 10:17 59s
Bump docker/build-push-action from 5 to 6 HLint #1977: Pull request #1275 opened by dependabot bot
June 17, 2024 21:34 1m 3s dependabot/github_actions/docker/build-push-action-6
dependabot/github_actions/docker/build-push-action-6
June 17, 2024 21:34 1m 3s
Emit "saved reproducer" log message as event rather than putStrLn HLint #1976: Pull request #1274 opened by samalws-tob
June 14, 2024 20:58 58s logReproducerFilename-2
logReproducerFilename-2
June 14, 2024 20:58 58s
chore: fix some comments (#1272) HLint #1975: Commit a73bc9d pushed by arcz
June 14, 2024 13:20 58s master
master
June 14, 2024 13:20 58s
emit log message when saving reproducers (#1273) HLint #1974: Commit 1cb47b3 pushed by ggrieco-tob
June 13, 2024 09:19 1m 0s master
master
June 13, 2024 09:19 1m 0s
show transactions when test is falsified in text mode (#1271) HLint #1973: Commit 9f05340 pushed by ggrieco-tob
June 13, 2024 09:18 1m 28s master
master
June 13, 2024 09:18 1m 28s
Emit log message when saving reproducers HLint #1972: Pull request #1273 opened by samalws-tob
June 12, 2024 18:15 1m 5s logReproducerFilename
logReproducerFilename
June 12, 2024 18:15 1m 5s
Display assertion failure immediately once falsified in text mode HLint #1971: Pull request #1271 synchronize by samalws-tob
June 12, 2024 16:03 1m 2s showTxsInTextMode
showTxsInTextMode
June 12, 2024 16:03 1m 2s
chore: fix some comments HLint #1970: Pull request #1272 opened by cangqiaoyuzhuo
June 12, 2024 15:34 59s cangqiaoyuzhuo:master
cangqiaoyuzhuo:master
June 12, 2024 15:34 59s
Display assertion failure immediately once falsified in text mode HLint #1969: Pull request #1271 opened by samalws-tob
June 12, 2024 15:27 57s showTxsInTextMode
showTxsInTextMode
June 12, 2024 15:27 57s
Improve max code size error message (#1269) HLint #1968: Commit 8347ad9 pushed by arcz
June 6, 2024 12:36 58s master
master
June 6, 2024 12:36 58s
Improve max code size error message HLint #1967: Pull request #1269 synchronize by arcz
June 6, 2024 11:34 1m 3s codesize
codesize
June 6, 2024 11:34 1m 3s
Improve max code size error message HLint #1966: Pull request #1269 opened by arcz
June 6, 2024 11:28 1m 1s codesize
codesize
June 6, 2024 11:28 1m 1s
Bump DeterminateSystems/magic-nix-cache-action from 6 to 7 (#1267) HLint #1965: Commit 5a366d2 pushed by arcz
June 4, 2024 10:15 1m 1s master
master
June 4, 2024 10:15 1m 1s
Bump DeterminateSystems/nix-installer-action from 11 to 12 (#1268) HLint #1964: Commit 42e6338 pushed by arcz
June 4, 2024 10:14 1m 1s master
master
June 4, 2024 10:14 1m 1s
Bump DeterminateSystems/nix-installer-action from 11 to 12 HLint #1963: Pull request #1268 opened by dependabot bot
June 3, 2024 21:55 59s dependabot/github_actions/DeterminateSystems/nix-installer-action-12
dependabot/github_actions/DeterminateSystems/nix-installer-action-12
June 3, 2024 21:55 59s
Bump DeterminateSystems/magic-nix-cache-action from 6 to 7 HLint #1962: Pull request #1267 opened by dependabot bot
June 3, 2024 21:55 59s dependabot/github_actions/DeterminateSystems/magic-nix-cache-action-7
dependabot/github_actions/DeterminateSystems/magic-nix-cache-action-7
June 3, 2024 21:55 59s
Improved shrinking removing reverts from reproducers (#1250) HLint #1961: Commit 55a8091 pushed by ggrieco-tob
May 28, 2024 17:29 1m 3s master
master
May 28, 2024 17:29 1m 3s
Allow to use specific filter for direct symexec (#1251) HLint #1960: Commit 80acdf5 pushed by ggrieco-tob
May 28, 2024 17:28 1m 1s master
master
May 28, 2024 17:28 1m 1s
coverage: count number of executions per line HLint #1959: Pull request #1265 opened by elopez
May 28, 2024 16:08 59s dev-cov-exec-counts
dev-cov-exec-counts
May 28, 2024 16:08 59s
Allow to use specific filter for direct symexec HLint #1958: Pull request #1251 synchronize by ggrieco-tob
May 28, 2024 13:58 1m 0s dev-improved-filter-symexec
dev-improved-filter-symexec
May 28, 2024 13:58 1m 0s
avoid a crash when invalid filtering is used and provide a better err… HLint #1957: Commit 53a0a91 pushed by ggrieco-tob
May 28, 2024 13:54 1m 0s master
master
May 28, 2024 13:54 1m 0s
--- (#1262) HLint #1956: Commit acaaaed pushed by arcz
May 28, 2024 12:34 56s master
master
May 28, 2024 12:34 56s
--- (#1263) HLint #1955: Commit 9c8e303 pushed by arcz
May 28, 2024 12:34 55s master
master
May 28, 2024 12:34 55s