Skip to content

Actions: crytic/echidna

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
478 workflow runs
478 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Read assert locations and determinate if they were executed or not CI #2018: Pull request #1110 synchronize by samalws-tob
August 20, 2024 20:05 5m 50s dev-assert-stats
dev-assert-stats
August 20, 2024 20:05 5m 50s
Read assert locations and determinate if they were executed or not CI #2017: Pull request #1110 synchronize by samalws-tob
August 20, 2024 19:45 5m 51s dev-assert-stats
dev-assert-stats
August 20, 2024 19:45 5m 51s
Add missing documentation (#1298) CI #2016: Commit 6956030 pushed by ggrieco-tob
August 20, 2024 06:50 35m 0s master
master
August 20, 2024 06:50 35m 0s
Add missing documentation CI #2015: Pull request #1298 synchronize by ggrieco-tob
August 15, 2024 14:12 41m 24s dev-doc
dev-doc
August 15, 2024 14:12 41m 24s
Add missing documentation CI #2014: Pull request #1298 opened by ggrieco-tob
August 15, 2024 10:06 39m 10s dev-doc
dev-doc
August 15, 2024 10:06 39m 10s
coverage: count number of executions per line CI #2012: Pull request #1265 synchronize by elopez
August 2, 2024 10:28 43m 30s dev-cov-exec-counts
dev-cov-exec-counts
August 2, 2024 10:28 43m 30s
Upgrade build to GHC 9.6 (#1245) CI #2011: Commit 182580e pushed by ggrieco-tob
July 25, 2024 11:54 42m 26s master
master
July 25, 2024 11:54 42m 26s
Upgrade build to GHC 9.6 CI #2010: Pull request #1245 synchronize by elopez
July 25, 2024 10:15 44m 30s dev-ghc-9.6
dev-ghc-9.6
July 25, 2024 10:15 44m 30s
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