Skip to content

Actions: crytic/echidna

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
486 workflow runs
486 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: install clang CI #1650: Commit 2dd1842 pushed by elopez
October 23, 2023 16:25 6m 13s test-windows
test-windows
October 23, 2023 16:25 6m 13s
Try using clang on windows CI #1649: Commit fa3e594 pushed by elopez
October 23, 2023 15:56 5m 33s test-windows
test-windows
October 23, 2023 15:56 5m 33s
Fix deprecated build-depends -> dependencies CI #1648: Commit c12550c pushed by elopez
October 23, 2023 15:12 37m 38s test-windows
test-windows
October 23, 2023 15:12 37m 38s
ci: include library paths on Windows CI #1647: Commit 12bdcc5 pushed by elopez
October 23, 2023 14:21 42m 43s test-windows
test-windows
October 23, 2023 14:21 42m 43s
ci: try to skip msys setup CI #1646: Commit 7b112b7 pushed by elopez
October 21, 2023 03:24 31m 32s test-windows
test-windows
October 21, 2023 03:24 31m 32s
ci: try to skip msys setup CI #1645: Commit b6fa25c pushed by elopez
October 21, 2023 03:23 Failure test-windows
test-windows
October 21, 2023 03:23 Failure
ci: try to skip msys setup CI #1644: Commit 0e21ee8 pushed by elopez
October 21, 2023 03:20 Failure test-windows
test-windows
October 21, 2023 03:20 Failure
Unify msys2 installations CI #1643: Commit 81edd8f pushed by elopez
October 21, 2023 02:41 32m 5s test-windows
test-windows
October 21, 2023 02:41 32m 5s
Bump hevm version CI #1642: Commit 5ba617c pushed by elopez
October 21, 2023 02:34 32m 46s test-windows
test-windows
October 21, 2023 02:34 32m 46s
Deliver status information using server-sent events CI #1641: Pull request #1131 synchronize by ggrieco-tob
October 20, 2023 13:31 27m 57s dev-sse-server
dev-sse-server
October 20, 2023 13:31 27m 57s
Deliver status information using server-sent events CI #1640: Pull request #1131 opened by ggrieco-tob
October 20, 2023 12:52 34m 56s dev-sse-server
dev-sse-server
October 20, 2023 12:52 34m 56s
Fix linking error CI #1639: Commit a06aaef pushed by elopez
October 20, 2023 00:06 37m 54s test-windows
test-windows
October 20, 2023 00:06 37m 54s
[test-windows] Install GMP in Stack's MSYS2 environment CI #1638: Commit 06b1fe9 pushed by elopez
October 19, 2023 23:14 37m 50s test-windows
test-windows
October 19, 2023 23:14 37m 50s
[test-windows] Install GMP in Stack's MSYS2 environment CI #1637: Commit 532af67 pushed by elopez
October 19, 2023 22:56 11m 23s test-windows
test-windows
October 19, 2023 22:56 11m 23s
Update to GHC 9.4 CI #1636: Pull request #1096 synchronize by elopez
October 19, 2023 20:45 35m 5s ghc-9.4
ghc-9.4
October 19, 2023 20:45 35m 5s
Update to GHC 9.4 CI #1635: Pull request #1096 synchronize by arcz
October 19, 2023 16:06 39m 59s ghc-9.4
ghc-9.4
October 19, 2023 16:06 39m 59s
Update to GHC 9.4 CI #1634: Pull request #1096 synchronize by arcz
October 19, 2023 14:48 35m 2s ghc-9.4
ghc-9.4
October 19, 2023 14:48 35m 2s
ci: enable M1 runners for CI job CI #1633: Pull request #1127 synchronize by elopez
October 2, 2023 22:41 21m 34s m1-builds-github
m1-builds-github
October 2, 2023 22:41 21m 34s
Add extra flags CI #1632: Commit 58f0e67 pushed by elopez
October 2, 2023 22:30 Failure m1-builds-github
m1-builds-github
October 2, 2023 22:30 Failure
ci: enable M1 runners for CI job CI #1631: Pull request #1127 synchronize by elopez
October 2, 2023 21:36 11m 32s m1-builds-github
m1-builds-github
October 2, 2023 21:36 11m 32s
ci: enable M1 runners for CI job CI #1630: Pull request #1127 synchronize by elopez
October 2, 2023 19:56 23m 34s m1-builds-github
m1-builds-github
October 2, 2023 19:56 23m 34s
ci: enable M1 runners for CI job CI #1629: Pull request #1127 opened by elopez
October 2, 2023 19:50 3m 13s m1-builds-github
m1-builds-github
October 2, 2023 19:50 3m 13s
Save corpus continuously while fuzzing; add TestSimplified and ErrorEvent events; change event system CI #1628: Pull request #1048 synchronize by samalws-tob
September 29, 2023 17:54 47m 8s saveCoverageEarly4
saveCoverageEarly4
September 29, 2023 17:54 47m 8s
Allow to provide a directory with additional json files from slither printer CI #1627: Pull request #1125 opened by ggrieco-tob
September 23, 2023 09:06 4m 21s dev-allow-additional-slither-info
dev-allow-additional-slither-info
September 23, 2023 09:06 4m 21s
Bump docker/login-action from 2 to 3 CI #1626: Pull request #1122 opened by dependabot bot
September 18, 2023 21:25 18m 28s dependabot/github_actions/docker/login-action-3
dependabot/github_actions/docker/login-action-3
September 18, 2023 21:25 18m 28s
ProTip! You can narrow down the results and go further in time using created:<2023-09-18 or the other filters available.