ci retry when make gds fails
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: |