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

Update to GHC 9.4 CI #1675: Pull request #1096 synchronize by elopez
October 24, 2023 13:56 28m 3s ghc-9.4
ghc-9.4
October 24, 2023 13:56 28m 3s
Update to GHC 9.4 CI #1674: Pull request #1096 synchronize by elopez
October 24, 2023 13:52 4m 33s ghc-9.4
ghc-9.4
October 24, 2023 13:52 4m 33s
Update to GHC 9.4 CI #1673: Pull request #1096 synchronize by elopez
October 24, 2023 13:48 4m 17s ghc-9.4
ghc-9.4
October 24, 2023 13:48 4m 17s
Update to GHC 9.4 CI #1672: Pull request #1096 synchronize by elopez
October 24, 2023 13:48 48s ghc-9.4
ghc-9.4
October 24, 2023 13:48 48s
Update to GHC 9.4 CI #1671: Pull request #1096 synchronize by elopez
October 24, 2023 13:42 3m 43s ghc-9.4
ghc-9.4
October 24, 2023 13:42 3m 43s
Update to GHC 9.4 CI #1670: Pull request #1096 synchronize by elopez
October 24, 2023 13:39 11m 48s ghc-9.4
ghc-9.4
October 24, 2023 13:39 11m 48s
Update to GHC 9.4 CI #1669: Pull request #1096 synchronize by elopez
October 24, 2023 13:00 36m 4s ghc-9.4
ghc-9.4
October 24, 2023 13:00 36m 4s
Update to GHC 9.4 CI #1668: Pull request #1096 synchronize by elopez
October 24, 2023 02:39 43m 9s ghc-9.4
ghc-9.4
October 24, 2023 02:39 43m 9s
Update to GHC 9.4 CI #1667: Pull request #1096 synchronize by elopez
October 24, 2023 02:34 1m 51s ghc-9.4
ghc-9.4
October 24, 2023 02:34 1m 51s
ci: extract Stack configuration CI #1666: Commit b5b4297 pushed by elopez
October 24, 2023 01:11 42m 20s test-windows
test-windows
October 24, 2023 01:11 42m 20s
ci: extract Stack configuration CI #1665: Commit 1b05404 pushed by elopez
October 24, 2023 00:54 7m 12s test-windows
test-windows
October 24, 2023 00:54 7m 12s
ci: drop strip workaround CI #1664: Commit 06afe7e pushed by elopez
October 23, 2023 23:31 47m 36s test-windows
test-windows
October 23, 2023 23:31 47m 36s
ci: also include paths in test build CI #1663: Commit 70de79a pushed by elopez
October 23, 2023 23:30 1h 0m 11s test-windows
test-windows
October 23, 2023 23:30 1h 0m 11s
ci: add no-pie CI #1662: Commit 61a0bf4 pushed by elopez
October 23, 2023 22:45 40m 19s test-windows
test-windows
October 23, 2023 22:45 40m 19s
ci: replace linker CI #1661: Commit 7fb91ad pushed by elopez
October 23, 2023 21:52 44m 32s test-windows
test-windows
October 23, 2023 21:52 44m 32s
ci: unskip msys2 from stack CI #1660: Commit 2b833c6 pushed by elopez
October 23, 2023 21:40 36m 25s test-windows
test-windows
October 23, 2023 21:40 36m 25s
Revert "ci: drop extra paths" CI #1659: Commit ec8cbd6 pushed by elopez
October 23, 2023 20:46 37m 21s test-windows
test-windows
October 23, 2023 20:46 37m 21s
ci: retain haskell paths CI #1658: Commit 41d9140 pushed by elopez
October 23, 2023 19:48 37m 51s test-windows
test-windows
October 23, 2023 19:48 37m 51s
ci: retain haskell paths CI #1657: Commit 39c6e71 pushed by elopez
October 23, 2023 19:35 8m 26s test-windows
test-windows
October 23, 2023 19:35 8m 26s
ci: retain haskell paths CI #1656: Commit e3632ff pushed by elopez
October 23, 2023 19:12 7m 43s test-windows
test-windows
October 23, 2023 19:12 7m 43s
ci: use minimal path CI #1655: Commit 5fc1b3c pushed by elopez
October 23, 2023 18:49 5m 40s test-windows
test-windows
October 23, 2023 18:49 5m 40s
ci: correct compiler for libff CI #1654: Commit 98b98dd pushed by elopez
October 23, 2023 18:41 6m 46s test-windows
test-windows
October 23, 2023 18:41 6m 46s
ci: correct compiler for libff CI #1653: Commit 70d00d7 pushed by elopez
October 23, 2023 18:29 6m 9s test-windows
test-windows
October 23, 2023 18:29 6m 9s
ci: drop extra paths CI #1652: Commit 3f401b0 pushed by elopez
October 23, 2023 18:22 6m 4s test-windows
test-windows
October 23, 2023 18:22 6m 4s
keep libsecp256k1 build with gcc CI #1651: Commit 7a64d32 pushed by elopez
October 23, 2023 16:36 33m 36s test-windows
test-windows
October 23, 2023 16:36 33m 36s
ProTip! You can narrow down the results and go further in time using created:<2023-10-23 or the other filters available.