diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-01-29 14:09:04 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-01-29 14:09:04 +0000 |
commit | e3c81b67ffb97f5ac34af54d7c42033f7830bf2f (patch) | |
tree | a37944195fe6ba67fa1e734677bfe9307896640c /docs/dev/README.md | |
parent | 2fb6af89eb794f775de60b82afe56b6f986c2a40 (diff) | |
parent | 84dfbfbd1d72c276a93518fea41196f75069d17e (diff) |
Merge #2941
2941: Freshen Architecture.md document r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'docs/dev/README.md')
-rw-r--r-- | docs/dev/README.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/dev/README.md b/docs/dev/README.md index a2be99858..d30727786 100644 --- a/docs/dev/README.md +++ b/docs/dev/README.md | |||
@@ -106,6 +106,10 @@ communication, and `print!` would break it. | |||
106 | If I need to fix something simultaneously in the server and in the client, I | 106 | If I need to fix something simultaneously in the server and in the client, I |
107 | feel even more sad. I don't have a specific workflow for this case. | 107 | feel even more sad. I don't have a specific workflow for this case. |
108 | 108 | ||
109 | Additionally, I use `cargo run --release -p ra_cli -- analysis-stats | ||
110 | path/to/some/rust/crate` to run a batch analysis. This is primaraly useful for | ||
111 | performance optimiations, or for bug minimization. | ||
112 | |||
109 | # Logging | 113 | # Logging |
110 | 114 | ||
111 | Logging is done by both rust-analyzer and VS Code, so it might be tricky to | 115 | Logging is done by both rust-analyzer and VS Code, so it might be tricky to |