diff options
| author | tv <tv@krebsco.de> | 2026-11-08 20:30:45 +0000 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2026-11-08 21:33:06 +0100 |
| commit | 51da8017d4592b31e904f505cab18ae1854df08b (patch) | |
| tree | 0dd2b51e5fbed00a10c8e929f162496934dc3d46 /src/state/read.rs | |
| parent | 54399ae3528deeeba5b09fc619394d2f2cd287f9 (diff) | |
screen: share the heads a change is judged at with what it builds on
Each change taken but not yet applied got its own set of the heads it
is judged at, built in an ordered set and copied into a vector, and
kept so for those building on it. Most build on one change alone and
are judged at its heads: share them instead (reference counted), and
build a set only for a change with several dependencies.
Diffstat (limited to 'src/state/read.rs')
0 files changed, 0 insertions, 0 deletions
