chore: update event name (#1242)

Co-authored-by: GitHub Action <action@github.com>
This commit is contained in:
Tonye Jack
2023-06-08 06:12:03 -06:00
committed by GitHub
parent f41e41fa3f
commit c467712045
3 changed files with 7 additions and 5 deletions

4
dist/index.js generated vendored
View File

@@ -839,11 +839,11 @@ function run() {
}
let diffResult;
if (!env.GITHUB_EVENT_PULL_REQUEST_BASE_REF) {
core.info('Running on a push event...');
core.info(`Running on a ${env.GITHUB_EVENT_NAME || 'push'} event...`);
diffResult = yield (0, commitSha_1.getSHAForPushEvent)(inputs, env, workingDirectory, isShallow, hasSubmodule, gitExtraArgs, isTag);
}
else {
core.info('Running on a pull request event...');
core.info(`Running on a ${env.GITHUB_EVENT_NAME || 'pull_request'} event...`);
diffResult = yield (0, commitSha_1.getSHAForPullRequestEvent)(inputs, env, workingDirectory, isShallow, hasSubmodule, gitExtraArgs);
}
if (diffResult.initialCommit) {