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 @@ -225,7 +225,7 @@ jobs:
225225 echo "Running --doctool to see if this changes the public API without updating the documentation."
226226 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"
227227 ${{ matrix.bin }} --doctool --headless 2>&1 > /dev/null || true
228- git diff --color --exit-code && ! git ls-files --others --exclude-standard | sed -e 's/^/New doc file missing in PR: /' | grep 'xml$'
228+ 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$'
229229
230230 # Check API backwards compatibility
231231 - name : Check for GDExtension compatibility
You can’t perform that action at this time.
0 commit comments