Cherry pick Validate output of MIRI is successful on CI to active_release

[alamb]

Automatic cherry-pick of 30f1b1f

• Originally appeared in Validate output of MIRI is successful on CI #578: Validate output of MIRI is successful on CI

[codecov-commenter]

Codecov Report

Merging #610 (fef5146) into active_release (8835adc) will not change coverage.
The diff coverage is n/a.

@@               Coverage Diff               @@
##           active_release     #610   +/-   ##
===============================================
  Coverage           82.45%   82.45%           
===============================================
  Files                 167      167           
  Lines               46203    46203           
===============================================
  Hits                38098    38098           
  Misses               8105     8105           

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 8835adc...fef5146. Read the comment docs.