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

Collect coverage during deployment Nix and release #352: Pull request #1303 opened by samalws-tob
September 3, 2024 20:53 9m 1s covDuringDeploy
covDuringDeploy
September 3, 2024 20:53 9m 1s
Add support for unlimited tests Nix and release #351: Pull request #1302 opened by elopez
August 30, 2024 08:29 10m 23s dev-unlimited-test
dev-unlimited-test
August 30, 2024 08:29 10m 23s
Upgrade hevm to upstream main Nix and release #350: Pull request #1300 synchronize by elopez
August 26, 2024 17:46 10m 24s hevm-20240826
hevm-20240826
August 26, 2024 17:46 10m 24s
Upgrade hevm to upstream main Nix and release #349: Pull request #1300 synchronize by elopez
August 26, 2024 17:11 10m 9s hevm-20240826
hevm-20240826
August 26, 2024 17:11 10m 9s
Upgrade hevm to upstream main Nix and release #348: Pull request #1300 synchronize by elopez
August 26, 2024 16:05 12m 41s hevm-20240826
hevm-20240826
August 26, 2024 16:05 12m 41s
Upgrade hevm to upstream main Nix and release #347: Pull request #1300 synchronize by elopez
August 26, 2024 15:58 11m 9s hevm-20240826
hevm-20240826
August 26, 2024 15:58 11m 9s
Upgrade hevm to upstream main Nix and release #346: Pull request #1300 synchronize by elopez
August 26, 2024 15:27 13m 30s hevm-20240826
hevm-20240826
August 26, 2024 15:27 13m 30s
Upgrade hevm to upstream main Nix and release #345: Pull request #1300 synchronize by elopez
August 26, 2024 14:52 27m 4s hevm-20240826
hevm-20240826
August 26, 2024 14:52 27m 4s
Upgrade hevm to upstream main Nix and release #344: Pull request #1300 synchronize by elopez
August 26, 2024 14:12 12m 12s hevm-20240826
hevm-20240826
August 26, 2024 14:12 12m 12s
Upgrade hevm to upstream main Nix and release #343: Pull request #1300 synchronize by elopez
August 26, 2024 13:39 9m 38s hevm-20240826
hevm-20240826
August 26, 2024 13:39 9m 38s
Upgrade hevm to upstream main Nix and release #342: Pull request #1300 opened by elopez
August 26, 2024 12:58 15m 36s hevm-20240826
hevm-20240826
August 26, 2024 12:58 15m 36s
Read assert locations and determinate if they were executed or not (#… Nix and release #341: Commit 778f63c pushed by ggrieco-tob
August 22, 2024 18:06 3m 47s master
master
August 22, 2024 18:06 3m 47s
Read assert locations and determinate if they were executed or not Nix and release #340: Pull request #1110 synchronize by samalws-tob
August 22, 2024 15:17 10m 50s dev-assert-stats
dev-assert-stats
August 22, 2024 15:17 10m 50s
Read assert locations and determinate if they were executed or not Nix and release #339: Pull request #1110 synchronize by samalws-tob
August 21, 2024 19:54 9m 45s dev-assert-stats
dev-assert-stats
August 21, 2024 19:54 9m 45s
Read assert locations and determinate if they were executed or not Nix and release #338: Pull request #1110 synchronize by samalws-tob
August 21, 2024 18:12 9m 15s dev-assert-stats
dev-assert-stats
August 21, 2024 18:12 9m 15s
Read assert locations and determinate if they were executed or not Nix and release #337: Pull request #1110 synchronize by samalws-tob
August 20, 2024 21:26 13m 6s dev-assert-stats
dev-assert-stats
August 20, 2024 21:26 13m 6s
Read assert locations and determinate if they were executed or not Nix and release #336: Pull request #1110 synchronize by samalws-tob
August 20, 2024 20:05 10m 12s dev-assert-stats
dev-assert-stats
August 20, 2024 20:05 10m 12s
Read assert locations and determinate if they were executed or not Nix and release #335: Pull request #1110 synchronize by samalws-tob
August 20, 2024 19:45 8m 58s dev-assert-stats
dev-assert-stats
August 20, 2024 19:45 8m 58s
Add missing documentation (#1298) Nix and release #334: Commit 6956030 pushed by ggrieco-tob
August 20, 2024 06:50 3m 18s master
master
August 20, 2024 06:50 3m 18s
Add missing documentation Nix and release #333: Pull request #1298 synchronize by ggrieco-tob
August 15, 2024 14:12 9m 6s dev-doc
dev-doc
August 15, 2024 14:12 9m 6s
Add missing documentation Nix and release #332: Pull request #1298 opened by ggrieco-tob
August 15, 2024 10:06 9m 27s dev-doc
dev-doc
August 15, 2024 10:06 9m 27s
coverage: count number of executions per line Nix and release #330: Pull request #1265 synchronize by elopez
August 2, 2024 10:28 9m 37s dev-cov-exec-counts
dev-cov-exec-counts
August 2, 2024 10:28 9m 37s
Upgrade build to GHC 9.6 (#1245) Nix and release #329: Commit 182580e pushed by ggrieco-tob
July 25, 2024 11:54 4m 20s master
master
July 25, 2024 11:54 4m 20s
Upgrade build to GHC 9.6 Nix and release #328: Pull request #1245 synchronize by elopez
July 25, 2024 10:15 1h 9m 32s dev-ghc-9.6
dev-ghc-9.6
July 25, 2024 10:15 1h 9m 32s
Upgrade build to GHC 9.6 Nix and release #327: Pull request #1245 synchronize by elopez
July 25, 2024 09:59 3m 58s dev-ghc-9.6
dev-ghc-9.6
July 25, 2024 09:59 3m 58s