mirror of
https://github.com/rust-lang/rust.git
synced 2026-04-27 18:57:42 +03:00
triagebot: remind to update rustc-dev-guide docs when modifying compiletest directives
This commit is contained in:
@@ -1050,6 +1050,12 @@ cc = ["@rust-lang/clippy"]
|
||||
[mentions."src/tools/compiletest"]
|
||||
cc = ["@jieyouxu"]
|
||||
|
||||
[mentions."src/tools/compiletest/src/directives"]
|
||||
message = """
|
||||
`compiletest` directives have been modified. Please add or update docs for the
|
||||
new or modified directive in `src/doc/rustc-dev-guide/`.
|
||||
"""
|
||||
|
||||
[mentions."src/tools/miri"]
|
||||
message = "The Miri subtree was changed"
|
||||
cc = ["@rust-lang/miri"]
|
||||
|
||||
Reference in New Issue
Block a user