[ci] Improve report of files missing from .gitignore