From 1111fff91c768d6893868032a0dfba02a9709ffc Mon Sep 17 00:00:00 2001
From: MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz>
Date: Wed, 28 Jan 2026 11:10:25 +0100
Subject: [PATCH] lint: Add missing --platform=linux to docker build command

Otherwise, this may pick the wrong arch like s390x, if a such a podman
container was most recently used.

See also the CI_IMAGE_PLATFORM setting in the "other" CI, which does the
same.
---
 ci/lint.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ci/lint.py b/ci/lint.py
index e94a26af291..e7720fc15ac 100755
--- a/ci/lint.py
+++ b/ci/lint.py
@@ -44,6 +44,7 @@ def main():
         "docker",
         "buildx",
         "build",
+        "--platform=linux",
         f"--tag={container}",
         *shlex.split(os.environ.get("DOCKER_BUILD_CACHE_ARG", "")),
         f"--file={repo_root}/ci/lint_imagefile",