DRC GitHub action: added 'workflow_dispatch' trigger

Signed-off-by: Sergei Andreev <andreev@ihp-microelectronics.com>
IHP-GmbH · Sep 16, 2024 · 2c9559f · 2c9559f
1 parent fca6512
commit 2c9559f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/drc.yml b/.github/workflows/drc.yml
@@ -21,6 +21,7 @@ on:
     #push
     pull_request:
         types: [opened, reopened]
+    workflow_dispatch:
 
 jobs:
     drc:
@@ -151,4 +152,4 @@ jobs:
                 if: always()
                 with:
                     name: DRC-Results
-                    path: ${{ github.workspace }}/drc/Results
+                    path: ${{ github.workspace }}/drc/Results