1
0
mirror of synced 2025-12-19 18:11:23 -05:00

Merge branch 'main' into siddharth/work-with-request

This commit is contained in:
Siddharth Suresh
2024-07-01 20:38:03 +05:30
committed by GitHub

View File

@@ -26,13 +26,9 @@ jobs:
id: pr_info
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
COMMENT_AT: ${{ github.event.comment.created_at }}
run: |
pr="$(gh api repos/${{ github.repository }}/pulls/${{ github.event.issue.number }})"
head_sha="$(echo "$pr" | jq -r .head.sha)"
updated_at="$(echo "$pr" | jq -r .updated_at)"
if [[ $(date -d $updated_at) > $(date -d $COMMENT_AT) ]]; exit 1; fi
echo "head_sha=$head_sha" >> $GITHUB_OUTPUT