Skip to content

Actions: crytic/echidna

Actions

HLint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hlint.yml
458 workflow runs
458 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Initial support for tstore/tload HLint #2005: Pull request #1286 synchronize by samalws-tob
July 9, 2024 20:36 1m 1s tstore
tstore
July 9, 2024 20:36 1m 1s
Initial support for tstore/tload HLint #2004: Pull request #1286 opened by ggrieco-tob
July 9, 2024 20:17 1m 1s tstore
tstore
July 9, 2024 20:17 1m 1s
coverage: count number of executions per line HLint #2003: Pull request #1265 synchronize by elopez
July 9, 2024 12:44 59s dev-cov-exec-counts
dev-cov-exec-counts
July 9, 2024 12:44 59s
coverage: count number of executions per line HLint #2002: Pull request #1265 synchronize by elopez
July 9, 2024 12:07 1m 0s dev-cov-exec-counts
dev-cov-exec-counts
July 9, 2024 12:07 1m 0s
coverage: count number of executions per line HLint #2001: Pull request #1265 synchronize by elopez
July 8, 2024 18:19 58s dev-cov-exec-counts
dev-cov-exec-counts
July 8, 2024 18:19 58s
Refactors in Exec.hs HLint #2000: Pull request #1282 synchronize by samalws-tob
July 8, 2024 14:47 59s simplifyExecTx
simplifyExecTx
July 8, 2024 14:47 59s
show trace on UnknownFailure (#1283) HLint #1999: Commit bf14ea4 pushed by ggrieco-tob
July 8, 2024 13:36 1m 3s master
master
July 8, 2024 13:36 1m 3s
HLint HLint #1998: by ggrieco-tob
July 5, 2024 19:41 1m 0s master
master
July 5, 2024 19:41 1m 0s
Minor change for symExecTimeout comments HLint #1997: Pull request #1285 opened by samalws-tob
July 5, 2024 19:03 59s symExecCommentChange
symExecCommentChange
July 5, 2024 19:03 59s
Shrink on one worker (#1280) HLint #1996: Commit ec5a3c1 pushed by ggrieco-tob
July 5, 2024 13:16 59s master
master
July 5, 2024 13:16 59s
Fix MVar issue (#1281) HLint #1995: Commit 43ae84e pushed by ggrieco-tob
July 5, 2024 11:33 57s master
master
July 5, 2024 11:33 57s
Show trace on UnknownFailure HLint #1994: Pull request #1283 synchronize by samalws-tob
July 2, 2024 14:54 1m 4s showTraceOnError
showTraceOnError
July 2, 2024 14:54 1m 4s
Show trace on UnknownFailure HLint #1993: Pull request #1283 synchronize by samalws-tob
July 2, 2024 14:22 59s showTraceOnError
showTraceOnError
July 2, 2024 14:22 59s
Show trace on UnknownFailure HLint #1992: Pull request #1283 synchronize by samalws-tob
July 2, 2024 14:13 57s showTraceOnError
showTraceOnError
July 2, 2024 14:13 57s
Show trace on UnknownFailure HLint #1991: Pull request #1283 synchronize by samalws-tob
July 2, 2024 13:34 1m 0s showTraceOnError
showTraceOnError
July 2, 2024 13:34 1m 0s
Show trace on UnknownFailure HLint #1990: Pull request #1283 opened by samalws-tob
July 1, 2024 20:04 58s showTraceOnError
showTraceOnError
July 1, 2024 20:04 58s
Refactors in Exec.hs HLint #1989: Pull request #1282 opened by samalws-tob
June 28, 2024 20:22 58s simplifyExecTx
simplifyExecTx
June 28, 2024 20:22 58s
Fix MVar issue HLint #1988: Pull request #1281 opened by samalws-tob
June 27, 2024 18:56 57s fixMVarIssue
fixMVarIssue
June 27, 2024 18:56 57s
Shrink on one worker HLint #1987: Pull request #1280 synchronize by arcz
June 27, 2024 15:22 1m 2s fix-shrink
fix-shrink
June 27, 2024 15:22 1m 2s
Shrink on one worker HLint #1986: Pull request #1280 opened by arcz
June 27, 2024 12:17 56s fix-shrink
fix-shrink
June 27, 2024 12:17 56s
show gas/s (#1279) HLint #1985: Commit 882c699 pushed by arcz
June 26, 2024 20:50 1m 2s master
master
June 26, 2024 20:50 1m 2s
Show gas per second in the UI HLint #1984: Pull request #1279 opened by samalws-tob
June 26, 2024 18:14 1m 4s gasPerSecond
gasPerSecond
June 26, 2024 18:14 1m 4s
Bump softprops/action-gh-release from 2.0.5 to 2.0.6 (#1277) HLint #1982: Commit 2c72579 pushed by arcz
June 25, 2024 11:28 1m 1s master
master
June 25, 2024 11:28 1m 1s
Bump softprops/action-gh-release from 2.0.5 to 2.0.6 HLint #1981: Pull request #1277 opened by dependabot bot
June 24, 2024 21:17 1m 4s dependabot/github_actions/softprops/action-gh-release-2.0.6
dependabot/github_actions/softprops/action-gh-release-2.0.6
June 24, 2024 21:17 1m 4s
emit saved reproducer log message as event rather than putstrln (#1274) HLint #1980: Commit 7953bd7 pushed by ggrieco-tob
June 21, 2024 11:56 57s master
master
June 21, 2024 11:56 57s