From: Yu Watanabe Date: Mon, 2 Feb 2026 23:59:38 +0000 (+0900) Subject: github/linter: disable ENABLE_GITHUB_PULL_REQUEST_SUMMARY_COMMENT for super-linter X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=90c71778d2bcccbdc70e740a8d706dadd49b8e69;p=thirdparty%2Fsystemd.git github/linter: disable ENABLE_GITHUB_PULL_REQUEST_SUMMARY_COMMENT for super-linter Since super-linter 8.4.0, it is enabled by default and requires GITHUB_TOKEN. We do not provide GITHUB_TOKEN for the action, then it fails with the following: ``` Failed to get [GITHUB_TOKEN]. Terminating because status reports were explicitly enabled, but GITHUB_TOKEN was not provided. ``` Also, even if GITHUB_TOKEN is set, the feature provides annoying messages in each PR. See https://github.com/super-linter/super-linter/issues/7458 So, let's disable the feature. --- diff --git a/.github/workflows/linter.yml b/.github/workflows/linter.yml index 705bdc7163c..8ddfbb35933 100644 --- a/.github/workflows/linter.yml +++ b/.github/workflows/linter.yml @@ -37,6 +37,7 @@ jobs: VALIDATE_GITHUB_ACTIONS: true LINTER_RULES_PATH: .github/linters GITHUB_ACTIONS_CONFIG_FILE: actionlint.yml + ENABLE_GITHUB_PULL_REQUEST_SUMMARY_COMMENT: false - uses: systemd/mkosi@e3642f81d3a7f8f9310c0c734b2ba9dd41e50e14