From 2f4c211008fb2cfc87b1f97f2dbe33a7c4ec1418 Mon Sep 17 00:00:00 2001 From: praydog Date: Tue, 12 Mar 2024 10:24:51 -0700 Subject: [PATCH] CI: Log previous commits for debugging --- .github/workflows/dev-build-pr.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/dev-build-pr.yml b/.github/workflows/dev-build-pr.yml index 8a9f53c0..dd2caa3e 100644 --- a/.github/workflows/dev-build-pr.yml +++ b/.github/workflows/dev-build-pr.yml @@ -35,8 +35,9 @@ jobs: if : ${{ github.event_name == 'pull_request_target' }} shell: pwsh run: | - $commits = git log -n 2 --pretty=format:%H + $commits = git log -n 4 --pretty=format:%H $previous_commit = $commits[1] + echo $commits if ($previous_commit -ne "${{ github.event.pull_request.head.sha }}") { throw "The pull request head commit has changed since the event was triggered." }