diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-08-15 13:35:12 +0100 |
---|---|---|
committer | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-08-15 13:35:12 +0100 |
commit | 9b024b685bf486c031cd72374c10955d6048ab63 (patch) | |
tree | a4a4761312b0ff12165e5b1a7155ccead4e09d71 /.gitattributes | |
parent | 5ed6a13a2c81f24bd12cc74332f7e94301c73980 (diff) | |
parent | 1700541e0056691946f7274d7d2e7e6b50300313 (diff) |
Merge #1445
1445: Use the new "durability" infrastructure from salsa r=matklad a=matklad
Based on https://github.com/nikomatsakis/salsa/tree/durability
Durability allows us to skip *validation* work for sysroot and crates.io libraries, which massively speeds up some workloads
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions