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",