Alice Ryhl 1ac10fa80a
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>
2020-09-21 18:57:33 +02:00
..
2020-09-21 18:57:33 +02:00