diff options
author | Alice Ryhl <alice@ryhl.io> | 2020-09-21 18:57:33 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-21 18:57:33 +0200 |
commit | 1ac10fa80aa847c68e376ebf9ef4e2be891e41d3 (patch) | |
tree | 8491cb95031672731eb59d57860ebcffc11d086d /tokio | |
parent | ba8680d66773677f201a26b756e41e9a16b458fe (diff) |
ci: update miri flags (#2851)
* ci: update miri flags
* Update 2020-09-20 to 2020-09-21
Co-authored-by: Taiki Endo <te316e89@gmail.com>
Co-authored-by: Taiki Endo <te316e89@gmail.com>
Diffstat (limited to 'tokio')
0 files changed, 0 insertions, 0 deletions