From a2931d1956addab1e4c2dbc52b11d7d2e9199043 Mon Sep 17 00:00:00 2001
From: Mauricio Alvarez Leon <65101411+BBBmau@users.noreply.github.com>
Date: Tue, 28 May 2024 14:45:17 -0700
Subject: [PATCH] CI: add devcontainer-rebuild workflow (#32564)

* add devcontainer-rebuild workflow

* add shell

* add shell on ifs

* use scripts/retry.sh
---
 .github/workflows/tools_tests.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/tools_tests.yaml b/.github/workflows/tools_tests.yaml
index 224b0c9d5f..b3cfd56d13 100644
--- a/.github/workflows/tools_tests.yaml
+++ b/.github/workflows/tools_tests.yaml
@@ -73,7 +73,7 @@ jobs:
     - name: Setup Dev Container CLI
       run: npm install -g @devcontainers/cli
     - name: Build dev container image
-      run: devcontainer build --workspace-folder .
+      run: ./scripts/retry.sh devcontainer build --workspace-folder .
     - name: Run dev container
       run: |
         mkdir -p /tmp/devcontainer_scons_cache/