mirror of
https://github.com/dorny/paths-filter.git
synced 2026-06-28 20:30:43 +00:00
fix: resolve PullRequestEvent type error from merge
This commit is contained in:
parent
d220295748
commit
40aea1dbd8
1 changed files with 1 additions and 1 deletions
|
|
@ -193,7 +193,7 @@ async function getChangedFilesFromGit(base: string, head: string, initialFetchDe
|
|||
}
|
||||
|
||||
// Uses github REST api to get list of files changed in PR
|
||||
async function getChangedFilesFromApi(token: string, pullRequest: PullRequestEvent): Promise<File[]> {
|
||||
async function getChangedFilesFromApi(token: string, pullRequest: PullRequest): Promise<File[]> {
|
||||
core.startGroup(`Fetching list of changed files for PR#${pullRequest.number} from GitHub API`)
|
||||
try {
|
||||
const client = github.getOctokit(token)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue