Skip to content

Actions: crytic/echidna

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
474 workflow runs
474 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upgrade build to GHC 9.6 CI #1911: Pull request #1245 synchronize by elopez
May 5, 2024 15:57 7m 52s dev-ghc-9.6
dev-ghc-9.6
May 5, 2024 15:57 7m 52s
Add symbolic execution (#1216) CI #1910: Commit 5d55003 pushed by ggrieco-tob
May 3, 2024 13:21 38m 55s master
master
May 3, 2024 13:21 38m 55s
Upgrade build to GHC 9.6 CI #1909: Pull request #1245 synchronize by elopez
May 1, 2024 22:22 2m 14s dev-ghc-9.6
dev-ghc-9.6
May 1, 2024 22:22 2m 14s
Upgrade build to GHC 9.6 CI #1908: Pull request #1245 synchronize by elopez
May 1, 2024 22:11 2m 17s dev-ghc-9.6
dev-ghc-9.6
May 1, 2024 22:11 2m 17s
Upgrade build to GHC 9.6 CI #1907: Pull request #1245 synchronize by elopez
May 1, 2024 21:44 26m 31s dev-ghc-9.6
dev-ghc-9.6
May 1, 2024 21:44 26m 31s
Upgrade build to GHC 9.6 CI #1906: Pull request #1245 synchronize by elopez
May 1, 2024 21:23 33m 58s dev-ghc-9.6
dev-ghc-9.6
May 1, 2024 21:23 33m 58s
Add symbolic execution CI #1905: Pull request #1216 synchronize by samalws-tob
May 1, 2024 17:12 38m 34s symexec4
symexec4
May 1, 2024 17:12 38m 34s
Upgrade build to GHC 9.6 CI #1904: Pull request #1245 synchronize by elopez
April 30, 2024 12:23 36m 44s dev-ghc-9.6
dev-ghc-9.6
April 30, 2024 12:23 36m 44s
Upgrade build to GHC 9.6 CI #1903: Pull request #1245 synchronize by elopez
April 30, 2024 00:07 34m 19s dev-ghc-9.6
dev-ghc-9.6
April 30, 2024 00:07 34m 19s
Upgrade build to GHC 9.6 CI #1902: Pull request #1245 synchronize by elopez
April 29, 2024 23:48 8m 30s dev-ghc-9.6
dev-ghc-9.6
April 29, 2024 23:48 8m 30s
Upgrade build to GHC 9.6 CI #1901: Pull request #1245 synchronize by elopez
April 29, 2024 23:00 19m 28s dev-ghc-9.6
dev-ghc-9.6
April 29, 2024 23:00 19m 28s
Upgrade build to GHC 9.6 CI #1900: Pull request #1245 synchronize by elopez
April 29, 2024 22:49 11m 10s dev-ghc-9.6
dev-ghc-9.6
April 29, 2024 22:49 11m 10s
Upgrade build to GHC 9.6 CI #1899: Pull request #1245 synchronize by elopez
April 29, 2024 22:24 19m 28s dev-ghc-9.6
dev-ghc-9.6
April 29, 2024 22:24 19m 28s
Upgrade build to GHC 9.6 CI #1898: Pull request #1245 synchronize by elopez
April 29, 2024 22:21 3m 26s dev-ghc-9.6
dev-ghc-9.6
April 29, 2024 22:21 3m 26s
Upgrade build to GHC 9.6 CI #1897: Pull request #1245 synchronize by elopez
April 29, 2024 22:10 19m 41s dev-ghc-9.6
dev-ghc-9.6
April 29, 2024 22:10 19m 41s
Upgrade build to GHC 9.6 CI #1896: Pull request #1245 opened by elopez
April 29, 2024 21:54 2m 28s dev-ghc-9.6
dev-ghc-9.6
April 29, 2024 21:54 2m 28s
Add symbolic execution CI #1895: Pull request #1216 synchronize by samalws-tob
April 29, 2024 19:41 35m 10s symexec4
symexec4
April 29, 2024 19:41 35m 10s
Upgrade hevm to latest echidna-patches commit CI #1894: Pull request #1243 synchronize by elopez
April 29, 2024 19:15 35m 42s dev-latest-hevm
dev-latest-hevm
April 29, 2024 19:15 35m 42s
Add symbolic execution CI #1893: Pull request #1216 synchronize by samalws-tob
April 29, 2024 18:45 39m 18s symexec4
symexec4
April 29, 2024 18:45 39m 18s
Add symbolic execution CI #1892: Pull request #1216 synchronize by samalws-tob
April 29, 2024 18:05 14m 25s symexec4
symexec4
April 29, 2024 18:05 14m 25s
Add symbolic execution CI #1891: Pull request #1216 synchronize by samalws-tob
April 26, 2024 19:21 39m 49s symexec4
symexec4
April 26, 2024 19:21 39m 49s
Add symbolic execution CI #1890: Pull request #1216 synchronize by samalws-tob
April 26, 2024 19:16 33m 35s symexec4
symexec4
April 26, 2024 19:16 33m 35s
ci, release: pin macOS runners to the correct architectures (#1244) CI #1889: Commit 0378721 pushed by arcz
April 26, 2024 16:49 13m 16s master
master
April 26, 2024 16:49 13m 16s
ci, release: pin macOS runners to the correct architectures CI #1888: Pull request #1244 opened by elopez
April 26, 2024 15:26 3m 3s dev-ci-fix
dev-ci-fix
April 26, 2024 15:26 3m 3s
Upgrade hevm to latest echidna-patches commit CI #1887: Pull request #1243 synchronize by elopez
April 26, 2024 15:21 34m 30s dev-latest-hevm
dev-latest-hevm
April 26, 2024 15:21 34m 30s