remove workaround from github ci
diff --git a/.github/workflows/user_project_ci.yml b/.github/workflows/user_project_ci.yml index 7009b49..fd56dd9 100644 --- a/.github/workflows/user_project_ci.yml +++ b/.github/workflows/user_project_ci.yml
@@ -142,7 +142,6 @@ - name: Harden using Openlane run: | - make tmp-workaround make user_proj_example make user_project_wrapper @@ -205,7 +204,6 @@ - name: Harden using Openlane run: | - make tmp-workaround make user_proj_example make user_project_wrapper