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 d99aca7 commit d4d9123Copy full SHA for d4d9123
.github/workflows/update_build_environment.yml
@@ -21,10 +21,7 @@ jobs:
21
echo "Checking if the PR modifies the Dockerfile"
22
echo "GitHub event before: ${{ github.event.before }}"
23
echo "GitHub event after: ${{ github.event.after }}"
24
- git diff --quiet ${{ github.event.before }} ${{ github.event.after }} Dockerfile
25
- DIFFSTATUS=$?
26
- echo "Diff (1 if diff, 0 if not): $DIFFSTATUS"
27
- if [ $DIFFSTATUS -eq 0 ]; then
+ if git diff --quiet ${{ github.event.before }} ${{ github.event.after }} Dockerfile; then
28
echo "PR synchronized, but Dockerfile was not edited. Not rebuilding the image."
29
echo "stale_dockerfile=false" >> "$GITHUB_OUTPUT"
30
else
0 commit comments