Searching in src/doc/rustc-dev-guide/ci/sembr