diff options
| author | willcl-ark <will@256k1.dev> | 2024-07-02 21:16:03 +0100 |
|---|---|---|
| committer | willcl-ark <will@256k1.dev> | 2024-07-03 09:46:15 +0100 |
| commit | 4d942547a8155cca4fe2f68afccdb822a174ab1a (patch) | |
| tree | f14781d7938322a7347534d5886a37422dc23d49 /ci/lint/04_install.sh | |
| parent | 173ab0ccf2164dd8cd3d486559dffda0d4a1a813 (diff) | |
lint: ignore files ignored by git in mlc
Updating to MLC v0.18.0 includes a new feature which will ignore all
files ignored by git: `--gitignore`.
This helps avoid false-positives flagged by this linter in non-project
files, such as a developer might expect to have in their directory (e.g.
guix-builds, python venvs, etc.)
Diffstat (limited to 'ci/lint/04_install.sh')
| -rwxr-xr-x | ci/lint/04_install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/lint/04_install.sh b/ci/lint/04_install.sh index 87e3a8fa9b..550c7b8c92 100755 --- a/ci/lint/04_install.sh +++ b/ci/lint/04_install.sh @@ -58,7 +58,7 @@ curl -sL "https://github.com/koalaman/shellcheck/releases/download/${SHELLCHECK_ tar --xz -xf - --directory /tmp/ mv "/tmp/shellcheck-${SHELLCHECK_VERSION}/shellcheck" /usr/bin/ -MLC_VERSION=v0.16.3 +MLC_VERSION=v0.18.0 MLC_BIN=mlc-x86_64-linux curl -sL "https://github.com/becheran/mlc/releases/download/${MLC_VERSION}/${MLC_BIN}" -o "/usr/bin/mlc" chmod +x /usr/bin/mlc |