Trying retry action

coq · Dec 20, 2023 · e7fb6f2 · e7fb6f2
1 parent 0863792
commit e7fb6f2
Showing 1 changed file with 8 additions and 4 deletions.
diff --git 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