From faf05d637d674d945704577ab785dff0f9a6d80f Mon Sep 17 00:00:00 2001
From: MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz>
Date: Tue, 4 Nov 2025 14:13:38 +0100
Subject: [PATCH] ci: Retry lint image building once after failure

The same was done for the other CI tasks in commit fa6aa9f42fa. This may
guard against intermittent network issues to download the base image or
packages ...
---
 .github/workflows/ci.yml | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 323d0a7156..5a316c685d 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -601,7 +601,7 @@ jobs:
       - name: CI script
         shell: python
         run: |
-          import os, shlex, subprocess, sys
+          import os, shlex, subprocess, sys, time
 
           def run(cmd, **kwargs):
               print("+ " + shlex.join(cmd), flush=True)
@@ -621,7 +621,10 @@ jobs:
               "."
           ]
 
-          run(build_cmd)
+          if run(build_cmd, check=False).returncode != 0:
+              print("Retry building image tag after failure")
+              time.sleep(3)
+              run(build_cmd)
 
           CIRRUS_PR_FLAG = []
           if '${{ github.event_name }}' == "pull_request":