diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-11-23 23:24:27 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-11-23 23:24:27 +0000 |
| commit | e725d22fd461c36f049341bbbf3f1f8f5717ebf0 (patch) | |
| tree | 34c7d36932c9e0657db4c58f8bc311259746fd32 /examples/std/src | |
| parent | b0da114395880929057a88776a9342805c3556d5 (diff) | |
| parent | c8e69a14eb223f2c13d545b0063fea8fe9c2148f (diff) | |
Merge #489
489: Faster CI with cargo-batch r=Dirbaio a=Dirbaio
Co-authored-by: Dario Nieuwenhuis <[email protected]>
Diffstat (limited to 'examples/std/src')
0 files changed, 0 insertions, 0 deletions