During today’s UTC afternoon backport+config window, I noticed that the diffConfig builds no longer report a diff (e.g. this build for this change, or this build for this change). It was still working two weeks ago in this older build.
Comparing the console output, it looks like one buildConfigCache.php run got lost:
++ /usr/bin/env ++ egrep -v '^(HOME|SHELL|PATH|LOGNAME|MAIL)=' > php -e tests/buildConfigCache.php > git checkout -q HEAD~1 > git add -f tests/data/config-cache/ > php -e tests/buildConfigCache.php > git diff -R --minimal --color --exit-code [lots of diff output]
++ /usr/bin/env ++ egrep -v '^(HOME|SHELL|PATH|LOGNAME|MAIL)=' > php multiversion/bin/manage-dblist 'update' > git checkout -q HEAD~1 > git add -f tests/data/config-cache/ > php -e tests/buildConfigCache.php > git diff -R --minimal --color --exit-code > git reset tests/data/config-cache/
Without the first buildConfigCache.php, the git add command probably has no effect; the other buildConfigCache.php then only creates a bunch of untracked files, and git diff sees no changes to tracked files.