diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-07-21 11:08:15 +1000 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-07-21 11:08:15 +1000 |
| commit | cd17128898089450bb21790fd1864dc08fd4ddbc (patch) | |
| tree | d6fdcab724b921bf331c2fac61aa22c3f0348337 /.github | |
| parent | 7dace716b091cab0bcdf192a1c4749861dd15e62 (diff) | |
| parent | 90c38242e54d1a742426e2b1b3c7d71e226811bd (diff) | |
Merge remote-tracking branch 'upstream/main'
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/hlint-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/hlint-ci.yml b/.github/workflows/hlint-ci.yml index 692d03e8..7009e739 100644 --- a/.github/workflows/hlint-ci.yml +++ b/.github/workflows/hlint-ci.yml @@ -17,7 +17,7 @@ jobs: - uses: rwe/actions-hlint-setup@v1 name: Set up HLint with: - version: "3.3.6" + version: "3.4.1" - uses: rwe/actions-hlint-run@v2 name: hlint |