Same syntax as .gitignore! We use ripgrep’s excellent ignore crate (ripgrep/crates/ignore at master · BurntSushi/ripgrep · GitHub).
One way to verify is to try to do an advanced codebase chat request, with the include filter being exactly the ignored files. You should get zero results.