Skip to content

Actions: crytic/echidna

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
474 workflow runs
474 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump cachix/cachix-action from 13 to 14 (#1162)
CI #1756: Commit fb42ab4 pushed by arcz
January 16, 2024 11:23 16m 25s master
January 16, 2024 11:23 16m 25s
Deliver status information using server-sent events (#1131)
CI #1753: Commit 988bda7 pushed by arcz
January 12, 2024 13:14 37m 13s master
January 12, 2024 13:14 37m 13s
Direct foundry compilation
CI #1752: Pull request #1161 opened by arcz
January 11, 2024 20:40 14m 52s foundry
January 11, 2024 20:40 14m 52s
January 11, 2024 19:32 5m 45s
Make slither optional (#1159)
CI #1743: Commit 9d502be pushed by arcz
January 8, 2024 23:54 6m 24s master
January 8, 2024 23:54 6m 24s
Make slither optional
CI #1742: Pull request #1159 opened by arcz
January 8, 2024 23:25 15m 36s optional-slither
January 8, 2024 23:25 15m 36s
Simplify saving tx result in coverage (#1158)
CI #1741: Commit 937102b pushed by arcz
January 7, 2024 00:15 15m 34s master
January 7, 2024 00:15 15m 34s
Simplify saving tx result in coverage
CI #1740: Pull request #1158 opened by arcz
January 5, 2024 23:59 6m 5s small-exec-refactor
January 5, 2024 23:59 6m 5s
Deliver status information using server-sent events
CI #1739: Pull request #1131 synchronize by arcz
January 5, 2024 20:08 4m 7s dev-sse-server
January 5, 2024 20:08 4m 7s
Use trace printing from hevm (#1157)
CI #1738: Commit f6e8fbb pushed by ggrieco-tob
January 5, 2024 07:49 32m 18s master
January 5, 2024 07:49 32m 18s
Deliver status information using server-sent events
CI #1737: Pull request #1131 synchronize by arcz
January 4, 2024 22:49 36m 45s dev-sse-server
January 4, 2024 22:49 36m 45s
Deliver status information using server-sent events
CI #1736: Pull request #1131 synchronize by arcz
January 4, 2024 20:48 17m 21s dev-sse-server
January 4, 2024 20:48 17m 21s
Use trace printing from hevm
CI #1735: Pull request #1157 synchronize by arcz
January 4, 2024 20:19 43m 27s traces
January 4, 2024 20:19 43m 27s
Use trace printing from hevm
CI #1734: Pull request #1157 synchronize by arcz
January 4, 2024 14:37 17m 5s traces
January 4, 2024 14:37 17m 5s
Use trace printing from hevm
CI #1733: Pull request #1157 opened by arcz
January 4, 2024 13:22 6m 7s traces
January 4, 2024 13:22 6m 7s
echidna-redistributable: fix static builds (#1156)
CI #1732: Commit 0a34809 pushed by arcz
January 4, 2024 08:55 15m 50s master
January 4, 2024 08:55 15m 50s
ProTip! You can narrow down the results and go further in time using created:<2024-01-04 or the other filters available.