Add inputs for repo and PR number

Signed-off-by: xie-jinwei <[email protected]>
tzkhan · Sep 1, 2021 · 6d7aea1 · 6d7aea1
1 parent bbd4c93
commit 6d7aea1
Show file tree

Hide file tree

Showing 3 changed files with 4,739 additions and 4,715 deletions.
diff --git a/action.yml b/action.yml
@@ -5,6 +5,14 @@ runs:
   using: "node12"
   main: "dist/index.js"
 inputs:
+  repo:
+    description: "Owner/Name of the repo"
+    required: false
+    default: ${{ github.repository }}
+  number:
+    description: "Pull request number"
+    required: false
+    default: ""
   repo-token:
     description: "The GITHUB_TOKEN secret"
     required: true