Skip to content

Commit

Permalink
MINOR: Fix handling minor issues on Dev PR worflow
Browse files Browse the repository at this point in the history
  • Loading branch information
raulcd committed Dec 10, 2024
1 parent 8428c47 commit 8684b67
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/dev_pr/issue_check.js
Original file line number Diff line number Diff line change
Expand Up @@ -78,7 +78,7 @@ module.exports = async ({github, context}) => {
const pullRequestNumber = context.payload.number;
const title = context.payload.pull_request.title;
const issue = helpers.detectIssue(title)
if (issue){
if (issue && issue.kind === "github") {
await verifyGitHubIssue(github, context, pullRequestNumber, issue.id);
}
};

0 comments on commit 8684b67

Please sign in to comment.