Skip to content

Actions: crytic/echidna

HLint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
458 workflow runs
458 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

January 11, 2024 19:32 49s
Make slither optional (#1159)
HLint #1767: Commit 9d502be pushed by arcz
January 8, 2024 23:54 48s master
January 8, 2024 23:54 48s
Make slither optional
HLint #1766: Pull request #1159 opened by arcz
January 8, 2024 23:25 51s optional-slither
January 8, 2024 23:25 51s
Simplify saving tx result in coverage (#1158)
HLint #1765: Commit 937102b pushed by arcz
January 7, 2024 00:15 51s master
January 7, 2024 00:15 51s
Simplify saving tx result in coverage
HLint #1764: Pull request #1158 opened by arcz
January 5, 2024 23:59 50s small-exec-refactor
January 5, 2024 23:59 50s
Deliver status information using server-sent events
HLint #1763: Pull request #1131 synchronize by arcz
January 5, 2024 20:08 48s dev-sse-server
January 5, 2024 20:08 48s
Use trace printing from hevm (#1157)
HLint #1762: Commit f6e8fbb pushed by ggrieco-tob
January 5, 2024 07:49 49s master
January 5, 2024 07:49 49s
Deliver status information using server-sent events
HLint #1761: Pull request #1131 synchronize by arcz
January 4, 2024 22:49 52s dev-sse-server
January 4, 2024 22:49 52s
Deliver status information using server-sent events
HLint #1760: Pull request #1131 synchronize by arcz
January 4, 2024 20:48 51s dev-sse-server
January 4, 2024 20:48 51s
Use trace printing from hevm
HLint #1759: Pull request #1157 synchronize by arcz
January 4, 2024 20:19 50s traces
January 4, 2024 20:19 50s
Use trace printing from hevm
HLint #1758: Pull request #1157 synchronize by arcz
January 4, 2024 14:37 47s traces
January 4, 2024 14:37 47s
Use trace printing from hevm
HLint #1757: Pull request #1157 opened by arcz
January 4, 2024 13:22 53s traces
January 4, 2024 13:22 53s
echidna-redistributable: fix static builds (#1156)
HLint #1756: Commit 0a34809 pushed by arcz
January 4, 2024 08:55 49s master
January 4, 2024 08:55 49s
January 3, 2024 22:27 50s
Bump nixpkgs and default back to non-static (#1154)
HLint #1751: Commit 0d95885 pushed by arcz
December 28, 2023 22:23 51s master
December 28, 2023 22:23 51s
Bump actions/setup-python from 4 to 5 (#1147)
HLint #1750: Commit 0fab478 pushed by arcz
December 28, 2023 21:33 48s master
December 28, 2023 21:33 48s
ProTip! You can narrow down the results and go further in time using created:<2023-12-28 or the other filters available.