38 - Get PR Number on PUSH event

Merge branch 'git-commit-push-action-12080084423-windows-full-remote'… #6371

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
pull-request	0s
push	4s
	4s