diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-07-08 14:55:56 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-07-08 14:55:56 +0100 |
commit | a622a8e109e0f41f1b7cf869acb955eab8c95b43 (patch) | |
tree | 048930ccb8537398aa46bfb7aa6a2445516c2fdd /.github/workflows/ci.yaml | |
parent | 9e437b26425e1c4691e2d1c5555ade5c109a358a (diff) | |
parent | 4b7f473223a939b702b89b6ef4db59bdbfff32d4 (diff) |
Merge #5263
5263: Fix some clippy perf warnings r=matklad a=kjeremy
Co-authored-by: kjeremy <[email protected]>
Diffstat (limited to '.github/workflows/ci.yaml')
0 files changed, 0 insertions, 0 deletions