commit f5f98f77dcdf4e4b8dbc5ef3515d1612561163b9
author Andrea Cosentino <ancosen@gmail.com> Mon Jun 09 13:27:38 2025 +0200
committer GitHub <noreply@github.com> Mon Jun 09 13:27:38 2025 +0200
tree 78473d9c760aa514bc6a1dde2bf7af70eadb0185
parent c16be0d7aaf9240f24f13d73998939d25daad022

Use .head.repo.pushed_at in pr-comment workflow instead of .pushed_at

.github/workflows/pr-comment.yml

diff --git a/.github/workflows/pr-comment.yml b/.github/workflows/pr-comment.yml
index b72af9f..c2334f7 100644
--- a/.github/workflows/pr-comment.yml
+++ b/.github/workflows/pr-comment.yml
@@ -51,7 +51,7 @@
         run: |
           pr="$(gh api /repos/${GH_REPO}/pulls/${PR_NUMBER})"
           head_sha="$(echo "$pr" | jq -r .head.sha)"
-          pushed_at="$(echo "$pr" | jq -r .pushed_at)"
+          pushed_at="$(echo "$pr" | jq -r .head.repo.pushed_at)"
           if [[ $(date -d "$pushed_at" +%s) -gt $(date -d "$COMMENT_AT" +%s) ]]; then
               exit 1
           fi