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

Update to GHC 9.4 HLint #1699: Pull request #1096 synchronize by elopez
October 24, 2023 13:56 1m 4s ghc-9.4
ghc-9.4
October 24, 2023 13:56 1m 4s
Update to GHC 9.4 HLint #1698: Pull request #1096 synchronize by elopez
October 24, 2023 13:52 1m 3s ghc-9.4
ghc-9.4
October 24, 2023 13:52 1m 3s
Update to GHC 9.4 HLint #1697: Pull request #1096 synchronize by elopez
October 24, 2023 13:48 1m 3s ghc-9.4
ghc-9.4
October 24, 2023 13:48 1m 3s
Update to GHC 9.4 HLint #1696: Pull request #1096 synchronize by elopez
October 24, 2023 13:48 52s ghc-9.4
ghc-9.4
October 24, 2023 13:48 52s
Update to GHC 9.4 HLint #1695: Pull request #1096 synchronize by elopez
October 24, 2023 13:42 56s ghc-9.4
ghc-9.4
October 24, 2023 13:42 56s
Update to GHC 9.4 HLint #1694: Pull request #1096 synchronize by elopez
October 24, 2023 13:39 52s ghc-9.4
ghc-9.4
October 24, 2023 13:39 52s
Update to GHC 9.4 HLint #1693: Pull request #1096 synchronize by elopez
October 24, 2023 13:00 1m 1s ghc-9.4
ghc-9.4
October 24, 2023 13:00 1m 1s
Update to GHC 9.4 HLint #1692: Pull request #1096 synchronize by elopez
October 24, 2023 02:39 49s ghc-9.4
ghc-9.4
October 24, 2023 02:39 49s
Update to GHC 9.4 HLint #1691: Pull request #1096 synchronize by elopez
October 24, 2023 02:34 1m 5s ghc-9.4
ghc-9.4
October 24, 2023 02:34 1m 5s
Deliver status information using server-sent events HLint #1690: Pull request #1131 synchronize by ggrieco-tob
October 20, 2023 13:31 53s dev-sse-server
dev-sse-server
October 20, 2023 13:31 53s
Deliver status information using server-sent events HLint #1689: Pull request #1131 opened by ggrieco-tob
October 20, 2023 12:52 1m 0s dev-sse-server
dev-sse-server
October 20, 2023 12:52 1m 0s
Update to GHC 9.4 HLint #1688: Pull request #1096 synchronize by elopez
October 19, 2023 20:45 1m 7s ghc-9.4
ghc-9.4
October 19, 2023 20:45 1m 7s
Update to GHC 9.4 HLint #1687: Pull request #1096 synchronize by arcz
October 19, 2023 16:06 1m 38s ghc-9.4
ghc-9.4
October 19, 2023 16:06 1m 38s
Update to GHC 9.4 HLint #1686: Pull request #1096 synchronize by arcz
October 19, 2023 14:48 57s ghc-9.4
ghc-9.4
October 19, 2023 14:48 57s
ci: enable M1 runners for CI job HLint #1685: Pull request #1127 synchronize by elopez
October 2, 2023 22:41 55s m1-builds-github
m1-builds-github
October 2, 2023 22:41 55s
ci: enable M1 runners for CI job HLint #1684: Pull request #1127 synchronize by elopez
October 2, 2023 22:31 55s m1-builds-github
m1-builds-github
October 2, 2023 22:31 55s
ci: enable M1 runners for CI job HLint #1683: Pull request #1127 synchronize by elopez
October 2, 2023 21:36 53s m1-builds-github
m1-builds-github
October 2, 2023 21:36 53s
ci: enable M1 runners for CI job HLint #1682: Pull request #1127 synchronize by elopez
October 2, 2023 19:56 1m 7s m1-builds-github
m1-builds-github
October 2, 2023 19:56 1m 7s
ci: enable M1 runners for CI job HLint #1681: Pull request #1127 opened by elopez
October 2, 2023 19:50 54s m1-builds-github
m1-builds-github
October 2, 2023 19:50 54s
Save corpus continuously while fuzzing; add TestSimplified and ErrorEvent events; change event system HLint #1680: Pull request #1048 synchronize by samalws-tob
September 29, 2023 17:54 1m 2s saveCoverageEarly4
saveCoverageEarly4
September 29, 2023 17:54 1m 2s
Allow to provide a directory with additional json files from slither printer HLint #1679: Pull request #1125 opened by ggrieco-tob
September 23, 2023 09:06 49s dev-allow-additional-slither-info
dev-allow-additional-slither-info
September 23, 2023 09:06 49s
Bump docker/login-action from 2 to 3 HLint #1678: Pull request #1122 opened by dependabot bot
September 18, 2023 21:25 57s dependabot/github_actions/docker/login-action-3
dependabot/github_actions/docker/login-action-3
September 18, 2023 21:25 57s
Bump docker/metadata-action from 4 to 5 HLint #1677: Pull request #1121 opened by dependabot bot
September 18, 2023 21:25 54s dependabot/github_actions/docker/metadata-action-5
dependabot/github_actions/docker/metadata-action-5
September 18, 2023 21:25 54s
Bump docker/build-push-action from 4 to 5 HLint #1676: Pull request #1120 opened by dependabot bot
September 18, 2023 21:25 1m 2s dependabot/github_actions/docker/build-push-action-5
dependabot/github_actions/docker/build-push-action-5
September 18, 2023 21:25 1m 2s
Bump docker/setup-buildx-action from 2 to 3 HLint #1675: Pull request #1119 opened by dependabot bot
September 18, 2023 21:25 52s dependabot/github_actions/docker/setup-buildx-action-3
dependabot/github_actions/docker/setup-buildx-action-3
September 18, 2023 21:25 52s
ProTip! You can narrow down the results and go further in time using created:<2023-09-18 or the other filters available.