Skip to content

Actions: crytic/echidna

HLint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
458 workflow runs
458 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump softprops/action-gh-release from 2.0.6 to 2.0.8 (#1295)
HLint #2031: Commit a550094 pushed by arcz
July 23, 2024 09:03 58s master
July 23, 2024 09:03 58s
Bump DeterminateSystems/nix-installer-action from 12 to 13 (#1294)
HLint #2030: Commit e7c17fe pushed by arcz
July 23, 2024 09:02 1m 0s master
July 23, 2024 09:02 1m 0s
July 18, 2024 12:00 1m 1s
Fix sigstore file attachments (#1292)
HLint #2025: Commit f8deef5 pushed by elopez
July 16, 2024 15:21 1m 2s master
July 16, 2024 15:21 1m 2s
Fix sigstore file attachments
HLint #2024: Pull request #1292 opened by elopez
July 16, 2024 15:18 1m 5s dev-fix-sigstore
July 16, 2024 15:18 1m 5s
Echidna 2.2.4 (#1291)
HLint #2023: Commit 84702aa pushed by elopez
July 16, 2024 14:20 1m 2s master
July 16, 2024 14:20 1m 2s
Echidna 2.2.4
HLint #2022: Pull request #1291 synchronize by elopez
July 16, 2024 13:09 1m 0s dev-bump-2.2.4
July 16, 2024 13:09 1m 0s
Echidna 2.2.4
HLint #2021: Pull request #1291 opened by elopez
July 16, 2024 13:07 57s dev-bump-2.2.4
July 16, 2024 13:07 57s
Raise default number of workers (#1288)
HLint #2020: Commit 3b5d6d9 pushed by ggrieco-tob
July 16, 2024 12:08 1m 0s master
July 16, 2024 12:08 1m 0s
Raise default number of workers
HLint #2019: Pull request #1288 synchronize by elopez
July 16, 2024 11:57 1m 0s dev-workers-default
July 16, 2024 11:57 1m 0s
Docs improvement (#1278)
HLint #2018: Commit 7fe4d40 pushed by elopez
July 16, 2024 08:23 59s master
July 16, 2024 08:23 59s
Fix typos (#1287)
HLint #2017: Commit 6220064 pushed by elopez
July 16, 2024 08:20 58s master
July 16, 2024 08:20 58s
July 16, 2024 08:16 58s
Docs improvement
HLint #2015: Pull request #1278 synchronize by elopez
July 16, 2024 07:42 58s nnsW3:Docs-improvement
July 16, 2024 07:42 58s
Raise default number of workers
HLint #2012: Pull request #1288 opened by elopez
July 15, 2024 17:03 1m 6s dev-workers-default
July 15, 2024 17:03 1m 6s
Initial support for tstore/tload (#1286)
HLint #2011: Commit 08041e4 pushed by ggrieco-tob
July 11, 2024 13:29 57s master
July 11, 2024 13:29 57s
coverage: count number of executions per line
HLint #2010: Pull request #1265 synchronize by elopez
July 11, 2024 13:21 57s dev-cov-exec-counts
July 11, 2024 13:21 57s
coverage: count number of executions per line
HLint #2009: Pull request #1265 synchronize by elopez
July 11, 2024 12:43 1m 3s dev-cov-exec-counts
July 11, 2024 12:43 1m 3s
coverage: count number of executions per line
HLint #2008: Pull request #1265 synchronize by elopez
July 11, 2024 12:36 1m 4s dev-cov-exec-counts
July 11, 2024 12:36 1m 4s
Fix typos
HLint #2007: Pull request #1287 opened by omahs
July 10, 2024 06:55 1m 2s omahs:patch-2
July 10, 2024 06:55 1m 2s
Initial support for tstore/tload
HLint #2006: Pull request #1286 synchronize by samalws-tob
July 9, 2024 20:37 1m 2s tstore
July 9, 2024 20:37 1m 2s