Skip to content

Actions: crytic/echidna

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
410 workflow runs
410 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update filterFallbacks to be selective rather than all-or-nothing CI #1809: Pull request #1200 synchronize by samalws-tob
March 7, 2024 19:00 14m 55s samalws-tob:updateFilterFallbacks
samalws-tob:updateFilterFallbacks
March 7, 2024 19:00 14m 55s
Update filterFallbacks to be selective rather than all-or-nothing CI #1808: Pull request #1200 synchronize by samalws-tob
March 7, 2024 17:57 15m 1s samalws-tob:updateFilterFallbacks
samalws-tob:updateFilterFallbacks
March 7, 2024 17:57 15m 1s
Update filterFallbacks to be selective rather than all-or-nothing CI #1807: Pull request #1200 opened by samalws-tob
March 7, 2024 17:23 15m 10s samalws-tob:updateFilterFallbacks
samalws-tob:updateFilterFallbacks
March 7, 2024 17:23 15m 10s
Improve delay shrinking (#1196) CI #1806: Commit 2dc9328 pushed by arcz
March 4, 2024 19:09 13m 22s master
master
March 4, 2024 19:09 13m 22s
Toggle tests and log panes on t and l (#1197) CI #1805: Commit 09a3c98 pushed by arcz
March 4, 2024 19:09 13m 45s master
master
March 4, 2024 19:09 13m 45s
Toggle tests and log panes on t and l CI #1804: Pull request #1197 opened by arcz
March 4, 2024 18:51 13m 28s ui-toggle-panes
ui-toggle-panes
March 4, 2024 18:51 13m 28s
Improve delay shrinking CI #1803: Pull request #1196 opened by arcz
March 4, 2024 14:29 13m 34s fix-delay-shrink
fix-delay-shrink
March 4, 2024 14:29 13m 34s
Echidna 2.2.3 (#1195) CI #1802: Commit fabd1ff pushed by arcz
March 4, 2024 12:42 4m 20s master
master
March 4, 2024 12:42 4m 20s
Echidna 2.2.3 CI #1801: Pull request #1195 synchronize by arcz
March 4, 2024 11:46 31m 14s 2.2.3
2.2.3
March 4, 2024 11:46 31m 14s
Echidna 2.2.3 CI #1800: Pull request #1195 opened by arcz
March 4, 2024 11:41 44s 2.2.3
2.2.3
March 4, 2024 11:41 44s
feat: add CLI commands for RPC URL and block number (#1194) CI #1799: Commit 8339bad pushed by arcz
February 29, 2024 16:30 12m 43s master
master
February 29, 2024 16:30 12m 43s
feat: add CLI commands for RPC URL and block number CI #1798: Pull request #1194 synchronize by penandlim
February 29, 2024 15:54 30m 2s penandlim:addRpcConfigToCLI
penandlim:addRpcConfigToCLI
February 29, 2024 15:54 30m 2s
Speed up shrinking (#1192) CI #1797: Commit d9f5016 pushed by arcz
February 29, 2024 15:51 14m 6s master
master
February 29, 2024 15:51 14m 6s
feat: add CLI commands for RPC URL and block number CI #1796: Pull request #1194 synchronize by penandlim
February 29, 2024 00:37 15m 0s penandlim:addRpcConfigToCLI
penandlim:addRpcConfigToCLI
February 29, 2024 00:37 15m 0s
feat: add CLI commands for RPC URL and block number CI #1795: Pull request #1194 synchronize by penandlim
February 28, 2024 23:51 14m 40s penandlim:addRpcConfigToCLI
penandlim:addRpcConfigToCLI
February 28, 2024 23:51 14m 40s
Speed up shrinking in some cases CI #1792: Pull request #1192 synchronize by samalws-tob
February 28, 2024 18:33 15m 0s samalws-tob:slow-shrink
samalws-tob:slow-shrink
February 28, 2024 18:33 15m 0s
Speed up shrinking in some cases CI #1791: Pull request #1192 opened by samalws-tob
February 28, 2024 18:26 16m 40s samalws-tob:slow-shrink
samalws-tob:slow-shrink
February 28, 2024 18:26 16m 40s
Update README.md (#1190) CI #1790: Commit e72975c pushed by arcz
February 27, 2024 15:38 15m 41s master
master
February 27, 2024 15:38 15m 41s
Update README.md CI #1789: Pull request #1190 opened by 0xicingdeath
February 27, 2024 15:37 16m 30s readme/added-curvance-suite
readme/added-curvance-suite
February 27, 2024 15:37 16m 30s
Update hevm to 0.53.0 (#1189) CI #1788: Commit 92f30c6 pushed by arcz
February 27, 2024 12:47 5m 23s master
master
February 27, 2024 12:47 5m 23s
Update hevm to 0.53.0 CI #1787: Pull request #1189 synchronize by arcz
February 27, 2024 10:39 26m 35s hevm-0.53.0
hevm-0.53.0
February 27, 2024 10:39 26m 35s
Update hevm to 0.53.0 CI #1786: Pull request #1189 opened by arcz
February 27, 2024 09:37 32m 6s hevm-0.53.0
hevm-0.53.0
February 27, 2024 09:37 32m 6s
nix: enhance TERMINFO for Linux builds (#1187) CI #1785: Commit 88ccd4c pushed by elopez
February 6, 2024 18:30 32m 5s master
master
February 6, 2024 18:30 32m 5s
nix: enhance TERMINFO for Linux builds CI #1784: Pull request #1187 opened by elopez
February 6, 2024 13:18 16m 47s dev-nix-fix-linux-terminfo
dev-nix-fix-linux-terminfo
February 6, 2024 13:18 16m 47s
ci: add solc 0.8.x tests, mark 0.6.x and 0.7.x as not experimental CI #1783: Pull request #973 synchronize by elopez
February 5, 2024 23:16 3m 53s dev-test-solc
dev-test-solc
February 5, 2024 23:16 3m 53s
ProTip! You can narrow down the results and go further in time using created:<2024-02-05 or the other filters available.