diff --git a/CI/check_codegen.sh b/CI/check_codegen.sh index b87bd005..918e303b 100755 --- a/CI/check_codegen.sh +++ b/CI/check_codegen.sh @@ -31,6 +31,8 @@ diff="$(git status --porcelain rust)" if [ ! -z "$diff" ]; then echo "The generated Rust files are not up-to-date" + echo "DIFF:" + echo "$diff" echo "You can regenerate them with './codegen/update.sh' and commit the changes" exit 1 fi