This is an automated archive made by the Lemmit Bot.

The original was posted on /r/rust by /u/folkertdev on 2025-12-09 10:32:55+00:00.


I wrote up how we added some avx-512 instruction support to Miri so that we can run the zlib-rs test suite on standard CI machines.