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

fix: do not fail if slither fails
HLint #1724: Pull request #1137 synchronize by 0xalpharush
November 6, 2023 04:36 54s fix/slither-integration-failure
November 6, 2023 04:36 54s
Deliver status information using server-sent events
HLint #1722: Pull request #1131 synchronize by arcz
November 3, 2023 15:48 57s dev-sse-server
November 3, 2023 15:48 57s
nix: static builds and release workflow
HLint #1721: Pull request #1133 synchronize by elopez
October 31, 2023 16:43 58s dev-semi-static-macos
October 31, 2023 16:43 58s
nix: static builds and release workflow
HLint #1720: Pull request #1133 synchronize by elopez
October 31, 2023 16:26 58s dev-semi-static-macos
October 31, 2023 16:26 58s
nix: static builds and release workflow
HLint #1719: Pull request #1133 synchronize by elopez
October 31, 2023 12:59 1m 2s dev-semi-static-macos
October 31, 2023 12:59 1m 2s
ci: enable M1 runners for CI job
HLint #1718: Pull request #1127 synchronize by elopez
October 31, 2023 12:50 1m 2s m1-builds-github
October 31, 2023 12:50 1m 2s
Fix new hlint issues after update (hlint-3.6.1) (#1132)
HLint #1717: Commit f52b35a pushed by ggrieco-tob
October 27, 2023 08:00 1m 6s master
October 27, 2023 08:00 1m 6s
nix: static builds and release workflow
HLint #1716: Pull request #1133 opened by elopez
October 26, 2023 23:33 1m 2s dev-semi-static-macos
October 26, 2023 23:33 1m 2s
Fix new hlint issues after update (hlint-3.6.1)
HLint #1715: Pull request #1132 synchronize by erivas
October 26, 2023 20:19 1m 6s erivas:compat-hlint-3.6.1
October 26, 2023 20:19 1m 6s
ci: enable M1 runners for CI job
HLint #1713: Pull request #1127 synchronize by elopez
October 26, 2023 13:04 1m 10s m1-builds-github
October 26, 2023 13:04 1m 10s
Update to GHC 9.4 (#1096)
HLint #1712: Commit e03efba pushed by arcz
October 25, 2023 15:23 50s master
October 25, 2023 15:23 50s
Bump docker/login-action from 2 to 3 (#1122)
HLint #1711: Commit c42eff0 pushed by elopez
October 24, 2023 19:58 50s master
October 24, 2023 19:58 50s
Bump docker/metadata-action from 4 to 5 (#1121)
HLint #1710: Commit 068fa9d pushed by elopez
October 24, 2023 19:58 56s master
October 24, 2023 19:58 56s
Bump docker/build-push-action from 4 to 5 (#1120)
HLint #1709: Commit 561edc0 pushed by elopez
October 24, 2023 19:57 1m 0s master
October 24, 2023 19:57 1m 0s
Bump docker/setup-buildx-action from 2 to 3 (#1119)
HLint #1708: Commit 83475ed pushed by elopez
October 24, 2023 19:57 56s master
October 24, 2023 19:57 56s
Revert "docker: temporarily pin crytic-compile @ 53167f3f3d63 (#912)"…
HLint #1707: Commit 33f7b46 pushed by elopez
October 24, 2023 19:56 1m 3s master
October 24, 2023 19:56 1m 3s
Update to GHC 9.4
HLint #1706: Pull request #1096 synchronize by elopez
October 24, 2023 18:29 1m 11s ghc-9.4
October 24, 2023 18:29 1m 11s
Update to GHC 9.4
HLint #1705: Pull request #1096 synchronize by elopez
October 24, 2023 17:39 56s ghc-9.4
October 24, 2023 17:39 56s
Update to GHC 9.4
HLint #1704: Pull request #1096 synchronize by elopez
October 24, 2023 17:26 54s ghc-9.4
October 24, 2023 17:26 54s
Update to GHC 9.4
HLint #1703: Pull request #1096 synchronize by elopez
October 24, 2023 17:19 1m 5s ghc-9.4
October 24, 2023 17:19 1m 5s
Update to GHC 9.4
HLint #1702: Pull request #1096 synchronize by elopez
October 24, 2023 16:39 1m 8s ghc-9.4
October 24, 2023 16:39 1m 8s
Update to GHC 9.4
HLint #1701: Pull request #1096 synchronize by elopez
October 24, 2023 15:58 56s ghc-9.4
October 24, 2023 15:58 56s
Update to GHC 9.4
HLint #1700: Pull request #1096 synchronize by elopez
October 24, 2023 15:00 1m 9s ghc-9.4
October 24, 2023 15:00 1m 9s
ProTip! You can narrow down the results and go further in time using created:<2023-10-24 or the other filters available.