diff --git a/dist/index.js b/dist/index.js index 816810af..b7c09fe6 100644 --- a/dist/index.js +++ b/dist/index.js @@ -140,7 +140,7 @@ function getPullRequests(client, prNumbers) { })); prData = result.data; } - catch (error) { + catch (_a) { core.warning(`Could not find pull request #${prNumber}, skipping`); continue; }