diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-03-08 18:52:08 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-03-08 18:52:08 +0000 |
| commit | 8b7e82b012c417ec40a896203ad79f20cf5530ef (patch) | |
| tree | 85413766cc45708d77dfa9cb5a3a00767af8461a /docs/dev | |
| parent | 071dde1c1da10e3580bded99dc2d529074356536 (diff) | |
| parent | d2bb2268d3a9cc0e2a6970c85c45724af5eb255c (diff) | |
Merge #7918
7918: Generalize file ensuring infrastructure r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'docs/dev')
| -rw-r--r-- | docs/dev/architecture.md | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/docs/dev/architecture.md b/docs/dev/architecture.md index ead12616e..0a3fd4285 100644 --- a/docs/dev/architecture.md +++ b/docs/dev/architecture.md | |||
| @@ -308,9 +308,8 @@ This sections talks about the things which are everywhere and nowhere in particu | |||
| 308 | ### Code generation | 308 | ### Code generation |
| 309 | 309 | ||
| 310 | Some of the components of this repository are generated through automatic processes. | 310 | Some of the components of this repository are generated through automatic processes. |
| 311 | `cargo xtask codegen` runs all generation tasks. | 311 | Generated code is updated automatically on `cargo test`. |
| 312 | Generated code is generally committed to the git repository. | 312 | Generated code is generally committed to the git repository. |
| 313 | There are tests to check that the generated code is fresh. | ||
| 314 | 313 | ||
| 315 | In particular, we generate: | 314 | In particular, we generate: |
| 316 | 315 | ||