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

Improved shrinking removing reverts from reproducers (#1250) CI #1937: Commit 55a8091 pushed by ggrieco-tob
May 28, 2024 17:29 36m 28s master
master
May 28, 2024 17:29 36m 28s
Allow to use specific filter for direct symexec (#1251) CI #1936: Commit 80acdf5 pushed by ggrieco-tob
May 28, 2024 17:28 39m 14s master
master
May 28, 2024 17:28 39m 14s
coverage: count number of executions per line CI #1935: Pull request #1265 opened by elopez
May 28, 2024 16:08 41m 51s dev-cov-exec-counts
dev-cov-exec-counts
May 28, 2024 16:08 41m 51s
Allow to use specific filter for direct symexec CI #1934: Pull request #1251 synchronize by ggrieco-tob
May 28, 2024 13:58 33m 54s dev-improved-filter-symexec
dev-improved-filter-symexec
May 28, 2024 13:58 33m 54s
avoid a crash when invalid filtering is used and provide a better err… CI #1933: Commit 53a0a91 pushed by ggrieco-tob
May 28, 2024 13:54 39m 37s master
master
May 28, 2024 13:54 39m 37s
--- (#1262) CI #1932: Commit acaaaed pushed by arcz
May 28, 2024 12:34 47m 37s master
master
May 28, 2024 12:34 47m 37s
--- (#1263) CI #1931: Commit 9c8e303 pushed by arcz
May 28, 2024 12:34 38m 37s master
master
May 28, 2024 12:34 38m 37s
Bump cachix/install-nix-action from 26 to 27 CI #1930: Pull request #1263 opened by dependabot bot
May 20, 2024 21:53 38m 46s dependabot/github_actions/cachix/install-nix-action-27
dependabot/github_actions/cachix/install-nix-action-27
May 20, 2024 21:53 38m 46s
Bump cachix/cachix-action from 14 to 15 CI #1929: Pull request #1262 opened by dependabot bot
May 20, 2024 21:53 38m 50s dependabot/github_actions/cachix/cachix-action-15
dependabot/github_actions/cachix/cachix-action-15
May 20, 2024 21:53 38m 50s
Upgrade build to GHC 9.6 CI #1928: Pull request #1245 synchronize by elopez
May 15, 2024 12:32 39m 3s dev-ghc-9.6
dev-ghc-9.6
May 15, 2024 12:32 39m 3s
Avoid a crash when invalid filtering is used and provide a better error message CI #1927: Pull request #1258 opened by ggrieco-tob
May 15, 2024 09:29 36m 56s fix-invalid-whitelist
fix-invalid-whitelist
May 15, 2024 09:29 36m 56s
Bump DeterminateSystems/magic-nix-cache-action from 4 to 6 (#1257) CI #1926: Commit 473abdc pushed by arcz
May 14, 2024 13:03 5m 35s master
master
May 14, 2024 13:03 5m 35s
Bump DeterminateSystems/nix-installer-action from 10 to 11 (#1256) CI #1925: Commit d6295a0 pushed by arcz
May 14, 2024 13:02 38m 29s master
master
May 14, 2024 13:02 38m 29s
Bump softprops/action-gh-release from 2.0.4 to 2.0.5 (#1255) CI #1924: Commit 1375464 pushed by arcz
May 14, 2024 13:02 7m 38s master
master
May 14, 2024 13:02 7m 38s
Bump DeterminateSystems/magic-nix-cache-action from 4 to 6 CI #1923: Pull request #1257 opened by dependabot bot
May 13, 2024 21:51 34m 58s dependabot/github_actions/DeterminateSystems/magic-nix-cache-action-6
dependabot/github_actions/DeterminateSystems/magic-nix-cache-action-6
May 13, 2024 21:51 34m 58s
Bump DeterminateSystems/nix-installer-action from 10 to 11 CI #1922: Pull request #1256 opened by dependabot bot
May 13, 2024 21:51 42m 58s dependabot/github_actions/DeterminateSystems/nix-installer-action-11
dependabot/github_actions/DeterminateSystems/nix-installer-action-11
May 13, 2024 21:51 42m 58s
Bump softprops/action-gh-release from 2.0.4 to 2.0.5 CI #1921: Pull request #1255 opened by dependabot bot
May 13, 2024 21:51 40m 58s dependabot/github_actions/softprops/action-gh-release-2.0.5
dependabot/github_actions/softprops/action-gh-release-2.0.5
May 13, 2024 21:51 40m 58s
Allow to use specific filter for direct symexec CI #1920: Pull request #1251 opened by ggrieco-tob
May 9, 2024 19:03 37m 58s dev-improved-filter-symexec
dev-improved-filter-symexec
May 9, 2024 19:03 37m 58s
Upgrade hevm to latest echidna-patches commit (#1243) CI #1919: Commit 1babeca pushed by elopez
May 8, 2024 17:24 38m 17s master
master
May 8, 2024 17:24 38m 17s
Upgrade hevm to latest echidna-patches commit CI #1918: Pull request #1243 synchronize by elopez
May 8, 2024 16:24 34m 47s dev-latest-hevm
dev-latest-hevm
May 8, 2024 16:24 34m 47s
Improved shrinking removing reverts from reproducers CI #1917: Pull request #1250 synchronize by ggrieco-tob
May 8, 2024 13:55 34m 26s dev-improved-shrinking
dev-improved-shrinking
May 8, 2024 13:55 34m 26s
Improved shrinking removing reverts from reproducers CI #1916: Pull request #1250 synchronize by ggrieco-tob
May 8, 2024 13:34 41m 20s dev-improved-shrinking
dev-improved-shrinking
May 8, 2024 13:34 41m 20s
Improved shrinking removing reverts from reproducers CI #1915: Pull request #1250 synchronize by ggrieco-tob
May 8, 2024 12:39 16m 9s dev-improved-shrinking
dev-improved-shrinking
May 8, 2024 12:39 16m 9s
Improved shrinking removing reverts from reproducers CI #1914: Pull request #1250 opened by ggrieco-tob
May 8, 2024 08:43 18m 12s dev-improved-shrinking
dev-improved-shrinking
May 8, 2024 08:43 18m 12s
Support configuring Etherscan API key via config file (#1227) CI #1913: Commit 7ff9173 pushed by ggrieco-tob
May 6, 2024 09:06 38m 50s master
master
May 6, 2024 09:06 38m 50s