Enable Miri tests in CI with non-blocking execution#697

Draft

Copilot wants to merge 12 commits intomainfrom

copilot/enable-miri-tests-ci-yml

Commits on Jan 23, 2026

Fix unused imports
Alex Razumov (from Dev Box)
committed
Adjust the safety comment
Alex Razumov (from Dev Box)
committed
Speed up miri tests
Alex Razumov (from Dev Box)
committed
Speed up miri tests
Alex Razumov (from Dev Box)
committed
Optimizing more tests for miri
Alex Razumov (from Dev Box)
committed
Fixing unsigned_minmax_compensated_test_u1 test
Alex Razumov (from Dev Box)
committed
More test optimizations
Alex Razumov (from Dev Box)
committed