Skip to content

Actions: crytic/echidna

Actions

Nix and release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
394 workflow runs
394 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

coverage: count number of executions per line Nix and release #300: Pull request #1265 synchronize by elopez
July 11, 2024 12:36 14m 23s dev-cov-exec-counts
dev-cov-exec-counts
July 11, 2024 12:36 14m 23s
Fix typos Nix and release #299: Pull request #1287 opened by omahs
July 10, 2024 06:55 9m 49s omahs:patch-2
omahs:patch-2
July 10, 2024 06:55 9m 49s
Initial support for tstore/tload Nix and release #298: Pull request #1286 synchronize by samalws-tob
July 9, 2024 20:37 16m 37s tstore
tstore
July 9, 2024 20:37 16m 37s
Initial support for tstore/tload Nix and release #297: Pull request #1286 synchronize by samalws-tob
July 9, 2024 20:36 17m 17s tstore
tstore
July 9, 2024 20:36 17m 17s
Initial support for tstore/tload Nix and release #296: Pull request #1286 opened by ggrieco-tob
July 9, 2024 20:17 58s tstore
tstore
July 9, 2024 20:17 58s
coverage: count number of executions per line Nix and release #295: Pull request #1265 synchronize by elopez
July 9, 2024 12:44 9m 43s dev-cov-exec-counts
dev-cov-exec-counts
July 9, 2024 12:44 9m 43s
coverage: count number of executions per line Nix and release #294: Pull request #1265 synchronize by elopez
July 9, 2024 12:07 10m 45s dev-cov-exec-counts
dev-cov-exec-counts
July 9, 2024 12:07 10m 45s
coverage: count number of executions per line Nix and release #293: Pull request #1265 synchronize by elopez
July 8, 2024 18:19 10m 26s dev-cov-exec-counts
dev-cov-exec-counts
July 8, 2024 18:19 10m 26s
Refactors in Exec.hs Nix and release #292: Pull request #1282 synchronize by samalws-tob
July 8, 2024 14:47 9m 7s simplifyExecTx
simplifyExecTx
July 8, 2024 14:47 9m 7s
show trace on UnknownFailure (#1283) Nix and release #291: Commit bf14ea4 pushed by ggrieco-tob
July 8, 2024 13:36 11m 31s master
master
July 8, 2024 13:36 11m 31s
Nix and release Nix and release #290: by ggrieco-tob
July 5, 2024 19:41 3m 10s master
master
July 5, 2024 19:41 3m 10s
Minor change for symExecTimeout comments Nix and release #289: Pull request #1285 opened by samalws-tob
July 5, 2024 19:03 9m 47s symExecCommentChange
symExecCommentChange
July 5, 2024 19:03 9m 47s
Shrink on one worker (#1280) Nix and release #288: Commit ec5a3c1 pushed by ggrieco-tob
July 5, 2024 13:16 9m 36s master
master
July 5, 2024 13:16 9m 36s
Fix MVar issue (#1281) Nix and release #287: Commit 43ae84e pushed by ggrieco-tob
July 5, 2024 11:33 4m 6s master
master
July 5, 2024 11:33 4m 6s
Show trace on UnknownFailure Nix and release #286: Pull request #1283 synchronize by samalws-tob
July 2, 2024 14:54 13m 46s showTraceOnError
showTraceOnError
July 2, 2024 14:54 13m 46s
Show trace on UnknownFailure Nix and release #285: Pull request #1283 synchronize by samalws-tob
July 2, 2024 14:22 14m 14s showTraceOnError
showTraceOnError
July 2, 2024 14:22 14m 14s
Show trace on UnknownFailure Nix and release #284: Pull request #1283 synchronize by samalws-tob
July 2, 2024 14:13 9m 55s showTraceOnError
showTraceOnError
July 2, 2024 14:13 9m 55s
Show trace on UnknownFailure Nix and release #283: Pull request #1283 synchronize by samalws-tob
July 2, 2024 13:34 10m 59s showTraceOnError
showTraceOnError
July 2, 2024 13:34 10m 59s
Show trace on UnknownFailure Nix and release #282: Pull request #1283 opened by samalws-tob
July 1, 2024 20:04 15m 11s showTraceOnError
showTraceOnError
July 1, 2024 20:04 15m 11s
Refactors in Exec.hs Nix and release #281: Pull request #1282 opened by samalws-tob
June 28, 2024 20:22 14m 4s simplifyExecTx
simplifyExecTx
June 28, 2024 20:22 14m 4s
Fix MVar issue Nix and release #280: Pull request #1281 opened by samalws-tob
June 27, 2024 18:56 10m 18s fixMVarIssue
fixMVarIssue
June 27, 2024 18:56 10m 18s
Shrink on one worker Nix and release #279: Pull request #1280 synchronize by arcz
June 27, 2024 15:22 10m 56s fix-shrink
fix-shrink
June 27, 2024 15:22 10m 56s
Shrink on one worker Nix and release #278: Pull request #1280 opened by arcz
June 27, 2024 12:17 11m 15s fix-shrink
fix-shrink
June 27, 2024 12:17 11m 15s
show gas/s (#1279) Nix and release #277: Commit 882c699 pushed by arcz
June 26, 2024 20:50 3m 31s master
master
June 26, 2024 20:50 3m 31s
Show gas per second in the UI Nix and release #276: Pull request #1279 opened by samalws-tob
June 26, 2024 18:14 13m 3s gasPerSecond
gasPerSecond
June 26, 2024 18:14 13m 3s