File tree Expand file tree Collapse file tree 1 file changed +1
-1
lines changed Expand file tree Collapse file tree 1 file changed +1
-1
lines changed Original file line number Diff line number Diff line change @@ -234,7 +234,7 @@ jobs:
234234 echo "Running --doctool to see if this changes the public API without updating the documentation."
235235 echo -e "If a diff is shown, it means that your code/doc changes are incomplete and you should update the class reference with --doctool.\n\n"
236236 ${{ matrix.bin }} --doctool --headless 2>&1 > /dev/null || true
237- git diff --color --exit-code && ! git ls-files --others --exclude-standard | sed -e 's/^/New doc file missing in PR: /' | grep 'xml$'
237+ git diff --color --submodule=diff --ignore-submodules=none -- exit-code && ! git ls-files --others --exclude-standard | sed -e 's/^/New doc file missing in PR: /' | grep 'xml$'
238238
239239 # Check API backwards compatibility
240240 - name : Check for GDExtension compatibility
You can’t perform that action at this time.
0 commit comments