commit dd99eecb6d59cd607841ce9f5c1ff9daaece02b6
author roman3017 <rbacik@hotmail.com> Thu Dec 29 19:03:41 2022 -0800
committer roman3017 <rbacik@hotmail.com> Thu Dec 29 19:03:41 2022 -0800
tree e16e111751d30a532fbf48754cd45a4442816cb4
parent 080e49aba0dd2603ca7957045655ec9e34f38517

ci retry when make gds fails

.github/workflows/user_project_ci.yml

diff --git a/.github/workflows/user_project_ci.yml b/.github/workflows/user_project_ci.yml
index 08c78c5..9675a77 100644
--- a/.github/workflows/user_project_ci.yml
+++ b/.github/workflows/user_project_ci.yml
@@ -93,8 +93,16 @@
 
       - name: Harden using Openlane
         run: |
-          make user_proj_example
-          make user_project_wrapper
+          make user_proj_example \
+          || make user_proj_example \
+          || make user_proj_example \
+          || make user_proj_example \
+          || make user_proj_example
+          make user_project_wrapper \
+          || make user_project_wrapper \
+          || make user_project_wrapper \
+          || make user_project_wrapper \
+          || make user_project_wrapper
 
       - name: run precheck
         run: |