We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 04e38c9 commit 135ccc4Copy full SHA for 135ccc4
.github/workflows/update_build_environment.yml
@@ -22,10 +22,7 @@ jobs:
22
echo "Checking if the PR modifies the Dockerfile"
23
echo "GitHub event before: ${{ github.event.before }}"
24
echo "GitHub event after: ${{ 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
+ if git diff --quiet ${{ github.event.before }} ${{ github.event.after }} Dockerfile; then
29
echo "PR synchronized, but Dockerfile was not edited. Not rebuilding the image."
30
echo "stale_dockerfile=false" >> "$GITHUB_OUTPUT"
31
else
0 commit comments