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 hevm to latest echidna-patches commit CI #1886: Pull request #1243 opened by elopez
April 26, 2024 15:11 16m 55s dev-latest-hevm
dev-latest-hevm
April 26, 2024 15:11 16m 55s
Update filterFallbacks to be selective rather than all-or-nothing (#1… CI #1885: Commit 27ad095 pushed by arcz
April 25, 2024 17:19 15m 42s master
master
April 25, 2024 17:19 15m 42s
Add symbolic execution CI #1884: Pull request #1216 synchronize by samalws-tob
April 19, 2024 16:27 32m 59s symexec4
symexec4
April 19, 2024 16:27 32m 59s
Fix some typos in comments (#1238) CI #1883: Commit 5b66fd2 pushed by arcz
April 18, 2024 14:17 2m 44s master
master
April 18, 2024 14:17 2m 44s
Fix some typos in comments CI #1882: Pull request #1238 opened by momantech
April 17, 2024 10:11 13m 23s momantech:master
momantech:master
April 17, 2024 10:11 13m 23s
Adjust default GC allocation area (#1228) CI #1881: Commit 7ddf1bf pushed by arcz
April 15, 2024 14:28 30m 13s master
master
April 15, 2024 14:28 30m 13s
Adjust default GC allocation area CI #1880: Pull request #1228 synchronize by arcz
April 11, 2024 11:52 2m 28s dev-gc-tweak
dev-gc-tweak
April 11, 2024 11:52 2m 28s
Add symbolic execution CI #1879: Pull request #1216 synchronize by samalws-tob
April 10, 2024 21:18 14m 7s symexec4
symexec4
April 10, 2024 21:18 14m 7s
Add symbolic execution CI #1878: Pull request #1216 synchronize by samalws-tob
April 10, 2024 20:51 16m 35s symexec4
symexec4
April 10, 2024 20:51 16m 35s
Add symbolic execution CI #1877: Pull request #1216 synchronize by samalws-tob
April 10, 2024 20:21 4m 28s symexec4
symexec4
April 10, 2024 20:21 4m 28s
Add symbolic execution CI #1876: Pull request #1216 synchronize by samalws-tob
April 10, 2024 18:52 15m 8s symexec4
symexec4
April 10, 2024 18:52 15m 8s
Add symbolic execution CI #1875: Pull request #1216 synchronize by samalws-tob
April 10, 2024 18:34 17m 16s symexec4
symexec4
April 10, 2024 18:34 17m 16s
Fix Windows support after crytic-compile changes (#1235) CI #1874: Commit 43f6c88 pushed by arcz
April 10, 2024 17:32 13m 44s master
master
April 10, 2024 17:32 13m 44s
Fix Windows support after crytic-compile changes CI #1873: Pull request #1235 synchronize by elopez
April 10, 2024 17:08 4m 48s dev-windows-test
dev-windows-test
April 10, 2024 17:08 4m 48s
Fix Windows support after crytic-compile changes CI #1872: Pull request #1235 synchronize by elopez
April 10, 2024 17:01 45m 30s dev-windows-test
dev-windows-test
April 10, 2024 17:01 45m 30s
Fix Windows support after crytic-compile changes CI #1871: Pull request #1235 synchronize by elopez
April 10, 2024 16:57 9m 4s dev-windows-test
dev-windows-test
April 10, 2024 16:57 9m 4s
Fix Windows support after crytic-compile changes CI #1870: Pull request #1235 synchronize by elopez
April 10, 2024 16:53 4m 57s dev-windows-test
dev-windows-test
April 10, 2024 16:53 4m 57s
Add symbolic execution CI #1869: Pull request #1216 synchronize by samalws-tob
April 10, 2024 16:52 30m 36s symexec4
symexec4
April 10, 2024 16:52 30m 36s
Fix Windows support after crytic-compile changes CI #1868: Pull request #1235 synchronize by elopez
April 10, 2024 16:40 17m 11s dev-windows-test
dev-windows-test
April 10, 2024 16:40 17m 11s
Fix Windows support after crytic-compile changes CI #1867: Pull request #1235 opened by elopez
April 10, 2024 16:36 21m 45s dev-windows-test
dev-windows-test
April 10, 2024 16:36 21m 45s
Add symbolic execution CI #1866: Pull request #1216 synchronize by samalws-tob
April 10, 2024 16:20 32m 14s symexec4
symexec4
April 10, 2024 16:20 32m 14s
Update hevm with tweaks CI #1865: Pull request #1234 opened by elopez
April 10, 2024 15:23 32m 4s dev-gc-tweak-2
dev-gc-tweak-2
April 10, 2024 15:23 32m 4s
Adjust default GC allocation area CI #1864: Pull request #1228 synchronize by elopez
April 10, 2024 15:22 4m 7s dev-gc-tweak
dev-gc-tweak
April 10, 2024 15:22 4m 7s
Add symbolic execution CI #1863: Pull request #1216 synchronize by samalws-tob
April 10, 2024 15:16 1m 33s symexec4
symexec4
April 10, 2024 15:16 1m 33s
Add symbolic execution CI #1862: Pull request #1216 synchronize by samalws-tob
April 10, 2024 14:53 15m 33s symexec4
symexec4
April 10, 2024 14:53 15m 33s
ProTip! You can narrow down the results and go further in time using created:<2024-04-10 or the other filters available.