Skip to content

Commit a367235

Browse files
Add proper dockerfile diff tracking in update_build_env
1 parent af80bb9 commit a367235

File tree

1 file changed

+6
-1
lines changed

1 file changed

+6
-1
lines changed

.github/workflows/update_build_environment.yml

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,12 @@ jobs:
2020
run: |
2121
echo "GitHub PR action type: ${{ github.event.action }}"
2222
echo "Checking if the PR modifies the Dockerfile"
23-
if git diff --quiet ${{ github.event.before }} ${{ github.event.after }} Dockerfile; then
23+
echo "GitHub event before: ${{ github.event.before }}"
24+
echo "GitHub event before: ${{ github.event.after }}"
25+
git diff --quiet ${{ github.event.before }} ${{ github.event.after }} Dockerfile
26+
DIFFSTATUS=$?
27+
echo "Diff (1 if diff, 0 if not): $DIFFSTATUS"
28+
if [ $DIFFSTATUS -eq 0 ]; then
2429
echo "PR synchronized, but Dockerfile was not edited. Not rebuilding the image."
2530
echo "stale_dockerfile=false" >> "$GITHUB_OUTPUT"
2631
else

0 commit comments

Comments
 (0)