Skip to content

Actions: crytic/echidna

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
476 workflow runs
476 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upgrade build to GHC 9.6 CI #2009: Pull request #1245 synchronize by elopez
July 25, 2024 09:59 43m 18s dev-ghc-9.6
dev-ghc-9.6
July 25, 2024 09:59 43m 18s
Upgrade build to GHC 9.6 CI #2008: Pull request #1245 synchronize by elopez
July 25, 2024 09:33 19m 9s dev-ghc-9.6
dev-ghc-9.6
July 25, 2024 09:33 19m 9s
Bump softprops/action-gh-release from 2.0.6 to 2.0.8 (#1295) CI #2007: Commit a550094 pushed by arcz
July 23, 2024 09:03 5m 1s master
master
July 23, 2024 09:03 5m 1s
Bump DeterminateSystems/nix-installer-action from 12 to 13 (#1294) CI #2006: Commit e7c17fe pushed by arcz
July 23, 2024 09:02 39m 14s master
master
July 23, 2024 09:02 39m 14s
Bump softprops/action-gh-release from 2.0.6 to 2.0.8 CI #2005: Pull request #1295 opened by dependabot bot
July 22, 2024 21:22 41m 53s dependabot/github_actions/softprops/action-gh-release-2.0.8
dependabot/github_actions/softprops/action-gh-release-2.0.8
July 22, 2024 21:22 41m 53s
Bump DeterminateSystems/nix-installer-action from 12 to 13 CI #2004: Pull request #1294 opened by dependabot bot
July 22, 2024 21:22 43m 21s dependabot/github_actions/DeterminateSystems/nix-installer-action-13
dependabot/github_actions/DeterminateSystems/nix-installer-action-13
July 22, 2024 21:22 43m 21s
IllegalOverflow should be similar to a revert instead of a VM error (… CI #2003: Commit 9893a09 pushed by ggrieco-tob
July 18, 2024 12:00 4m 13s master
master
July 18, 2024 12:00 4m 13s
IllegalOverflow should be similar to a revert instead of a VM error CI #2002: Pull request #1293 opened by ggrieco-tob
July 18, 2024 09:38 17m 6s fix-illegal-overflow
fix-illegal-overflow
July 18, 2024 09:38 17m 6s
Fix sigstore file attachments (#1292) CI #2001: Commit f8deef5 pushed by elopez
July 16, 2024 15:21 34m 33s master
master
July 16, 2024 15:21 34m 33s
Fix sigstore file attachments CI #2000: Pull request #1292 opened by elopez
July 16, 2024 15:18 50m 12s dev-fix-sigstore
dev-fix-sigstore
July 16, 2024 15:18 50m 12s
Echidna 2.2.4 (#1291) CI #1999: Commit 84702aa pushed by elopez
July 16, 2024 14:20 48m 55s master
master
July 16, 2024 14:20 48m 55s
Echidna 2.2.4 CI #1998: Pull request #1291 synchronize by elopez
July 16, 2024 13:09 41m 2s dev-bump-2.2.4
dev-bump-2.2.4
July 16, 2024 13:09 41m 2s
Echidna 2.2.4 CI #1997: Pull request #1291 opened by elopez
July 16, 2024 13:07 37m 47s dev-bump-2.2.4
dev-bump-2.2.4
July 16, 2024 13:07 37m 47s
Raise default number of workers (#1288) CI #1996: Commit 3b5d6d9 pushed by ggrieco-tob
July 16, 2024 12:08 4m 34s master
master
July 16, 2024 12:08 4m 34s
Raise default number of workers CI #1995: Pull request #1288 synchronize by elopez
July 16, 2024 11:57 36m 50s dev-workers-default
dev-workers-default
July 16, 2024 11:57 36m 50s
Docs improvement (#1278) CI #1994: Commit 7fe4d40 pushed by elopez
July 16, 2024 08:23 41m 55s master
master
July 16, 2024 08:23 41m 55s
Fix typos (#1287) CI #1993: Commit 6220064 pushed by elopez
July 16, 2024 08:20 39m 39s master
master
July 16, 2024 08:20 39m 39s
Bump sigstore/gh-action-sigstore-python from 2.1.1 to 3.0.0 (#1289) CI #1992: Commit 7bbfd68 pushed by elopez
July 16, 2024 08:16 38m 7s master
master
July 16, 2024 08:16 38m 7s
Docs improvement CI #1991: Pull request #1278 synchronize by elopez
July 16, 2024 07:42 16m 3s nnsW3:Docs-improvement
nnsW3:Docs-improvement
July 16, 2024 07:42 16m 3s
Bump sigstore/gh-action-sigstore-python from 2.1.1 to 3.0.0 CI #1989: Pull request #1289 opened by dependabot bot
July 15, 2024 21:15 4m 4s dependabot/github_actions/sigstore/gh-action-sigstore-python-3.0.0
dependabot/github_actions/sigstore/gh-action-sigstore-python-3.0.0
July 15, 2024 21:15 4m 4s
Raise default number of workers CI #1988: Pull request #1288 opened by elopez
July 15, 2024 17:03 21m 0s dev-workers-default
dev-workers-default
July 15, 2024 17:03 21m 0s
Initial support for tstore/tload (#1286) CI #1987: Commit 08041e4 pushed by ggrieco-tob
July 11, 2024 13:29 5m 31s master
master
July 11, 2024 13:29 5m 31s
coverage: count number of executions per line CI #1986: Pull request #1265 synchronize by elopez
July 11, 2024 13:21 20m 51s dev-cov-exec-counts
dev-cov-exec-counts
July 11, 2024 13:21 20m 51s
coverage: count number of executions per line CI #1985: Pull request #1265 synchronize by elopez
July 11, 2024 12:43 20m 24s dev-cov-exec-counts
dev-cov-exec-counts
July 11, 2024 12:43 20m 24s
coverage: count number of executions per line CI #1984: Pull request #1265 synchronize by elopez
July 11, 2024 12:36 20m 46s dev-cov-exec-counts
dev-cov-exec-counts
July 11, 2024 12:36 20m 46s