From e7fb6f234910049f7dc70d654c5272c99850b5bd Mon Sep 17 00:00:00 2001
From: Romain Tetley <romain.tetley@inria.fr>
Date: Mon, 18 Dec 2023 14:22:17 +0100
Subject: [PATCH] Trying retry action

---
 .github/workflows/macos.yml | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/macos.yml b/.github/workflows/macos.yml
index 4858a60b15..f4f59d4299 100644
--- a/.github/workflows/macos.yml
+++ b/.github/workflows/macos.yml
@@ -115,10 +115,14 @@ jobs:
           pip3 install macpack
 
       - name: 'Build DMG installer'
-        shell: bash
-        run: |
-          eval $(opam env)
-          macos/create_installer_macos.sh
+        uses: Wandalen/wretry.action@master
+        with:
+          attempt_limit: 5
+          attempt_delay: 5000
+          shell: bash
+          command: |
+            eval $(opam env)
+            macos/create_installer_macos.sh
 
       - name: 'Upload DMG script logs on failure'
         uses: actions/upload-artifact@v2