"eslint.onIgnoredFiles" seems not working on v3.0.10

[zheung]

After upgrading to v3.x, I found that onIgnoredFiles does not generate warnings properly:

settings.json

{
	"eslint.onIgnoredFiles": "warn"
}

eslint.config.js

export default [
	{ ignores: ['dist/**'] },
];

note:

• vscode-eslint version: 3.0.10 (also 3.0.8)
• eslint version: 9.5.0
• node version (local): 20.14.0
• using flat config
• it correctly lints for files that have not been ignored

screeonshot on v3.0.10 (not working):

screeonshot on v2.4.4 (working):