Skip to content

Actions: crytic/echidna

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
274 workflow run results
274 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Simplify saving tx result in coverage (#1158) HLint #1765: Commit 937102b pushed by arcz
January 7, 2024 00:15 51s master
master
January 7, 2024 00:15 51s
Simplify saving tx result in coverage (#1158) CI #1741: Commit 937102b pushed by arcz
January 7, 2024 00:15 15m 34s master
master
January 7, 2024 00:15 15m 34s
Simplify saving tx result in coverage (#1158) Docker #379: Commit 937102b pushed by arcz
January 7, 2024 00:15 19m 36s master
master
January 7, 2024 00:15 19m 36s
Simplify saving tx result in coverage CI #1740: Pull request #1158 opened by arcz
January 5, 2024 23:59 6m 5s small-exec-refactor
small-exec-refactor
January 5, 2024 23:59 6m 5s
Simplify saving tx result in coverage Action #938: Pull request #1158 opened by arcz
January 5, 2024 23:59 25s small-exec-refactor
small-exec-refactor
January 5, 2024 23:59 25s
Simplify saving tx result in coverage HLint #1764: Pull request #1158 opened by arcz
January 5, 2024 23:59 50s small-exec-refactor
small-exec-refactor
January 5, 2024 23:59 50s
Simplify saving tx result in coverage Nix and release #54: Pull request #1158 opened by arcz
January 5, 2024 23:59 8m 16s small-exec-refactor
small-exec-refactor
January 5, 2024 23:59 8m 16s
Deliver status information using server-sent events Nix and release #53: Pull request #1131 synchronize by arcz
January 5, 2024 20:08 12m 1s dev-sse-server
dev-sse-server
January 5, 2024 20:08 12m 1s
Deliver status information using server-sent events Action #937: Pull request #1131 synchronize by arcz
January 5, 2024 20:08 26s dev-sse-server
dev-sse-server
January 5, 2024 20:08 26s
Deliver status information using server-sent events HLint #1763: Pull request #1131 synchronize by arcz
January 5, 2024 20:08 48s dev-sse-server
dev-sse-server
January 5, 2024 20:08 48s
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
dev-sse-server
January 5, 2024 20:08 4m 7s
Use trace printing from hevm (#1157) Action #936: Commit f6e8fbb pushed by ggrieco-tob
January 5, 2024 07:49 23s master
master
January 5, 2024 07:49 23s
Use trace printing from hevm (#1157) HLint #1762: Commit f6e8fbb pushed by ggrieco-tob
January 5, 2024 07:49 49s master
master
January 5, 2024 07:49 49s
Use trace printing from hevm (#1157) Nix and release #52: Commit f6e8fbb pushed by ggrieco-tob
January 5, 2024 07:49 4m 28s master
master
January 5, 2024 07:49 4m 28s
Use trace printing from hevm (#1157) CI #1738: Commit f6e8fbb pushed by ggrieco-tob
January 5, 2024 07:49 32m 18s master
master
January 5, 2024 07:49 32m 18s
Use trace printing from hevm (#1157) Docker #378: Commit f6e8fbb pushed by ggrieco-tob
January 5, 2024 07:49 19m 31s master
master
January 5, 2024 07:49 19m 31s
Deliver status information using server-sent events HLint #1761: Pull request #1131 synchronize by arcz
January 4, 2024 22:49 52s dev-sse-server
dev-sse-server
January 4, 2024 22:49 52s
Deliver status information using server-sent events Nix and release #51: Pull request #1131 synchronize by arcz
January 4, 2024 22:49 7m 17s dev-sse-server
dev-sse-server
January 4, 2024 22:49 7m 17s
Deliver status information using server-sent events Action #935: Pull request #1131 synchronize by arcz
January 4, 2024 22:49 28s dev-sse-server
dev-sse-server
January 4, 2024 22:49 28s
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
dev-sse-server
January 4, 2024 22:49 36m 45s
Deliver status information using server-sent events Action #934: Pull request #1131 synchronize by arcz
January 4, 2024 20:48 23s dev-sse-server
dev-sse-server
January 4, 2024 20:48 23s
Deliver status information using server-sent events HLint #1760: Pull request #1131 synchronize by arcz
January 4, 2024 20:48 51s dev-sse-server
dev-sse-server
January 4, 2024 20:48 51s
Deliver status information using server-sent events Nix and release #50: Pull request #1131 synchronize by arcz
January 4, 2024 20:48 10m 43s dev-sse-server
dev-sse-server
January 4, 2024 20:48 10m 43s
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
dev-sse-server
January 4, 2024 20:48 17m 21s
Use trace printing from hevm Action #933: Pull request #1157 synchronize by arcz
January 4, 2024 20:19 21s traces
traces
January 4, 2024 20:19 21s