diff --git a/.github/actionlint.yaml b/.github/actionlint.yaml index c6eaf34..7951d15 100644 --- a/.github/actionlint.yaml +++ b/.github/actionlint.yaml @@ -4,3 +4,10 @@ self-hosted-runner: - warp-ubuntu-latest-arm64-4x - warp-ubuntu-latest-x64-2x - warp-ubuntu-latest-x64-4x + +# GitHub added the native stack event before actionlint's event table. +# Remove this exception once actionlint recognizes it. +paths: + .github/workflows/ci.yml: + ignore: + - '^invalid activity type "stacked" for "pull_request" Webhook event\.' diff --git a/hk.pkl b/hk.pkl index 6a7fd2c..cf0d8cf 100644 --- a/hk.pkl +++ b/hk.pkl @@ -24,11 +24,7 @@ local linters = new Mapping { } // Infrastructure: - ["actionlint"] = (Builtins.actionlint) { - // GitHub added this native-stack event before actionlint's event table. - // Ignore only this diagnostic until actionlint recognizes it. - check = "actionlint -ignore '^invalid activity type \"stacked\" for \"pull_request\" Webhook event\\.' {{files}}" - } + ["actionlint"] = Builtins.actionlint // Configuration files: ["pkl"] = Builtins.pkl