github: Prevent update action to fail when there are no changes

This commit is contained in:
Michal Sojka 2024-09-18 15:26:15 +02:00
parent 3cf992916a
commit 11e7f90414

View file

@ -23,4 +23,5 @@ $(cat /tmp/rosdistro-diff)
EOF
else
echo "No relevant changes"
touch "$pr_body" # prevent create-pull-request action from failing
fi