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

Open

Copilot wants to merge 25 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

Commits on Jan 24, 2026

Commits on Jan 26, 2026

Use #[cfg(not(miri))] instead of #[cfg_attr(miri, ignore)] for test_distances_in_place

Copilot
and
arrayka
committed
Minor clean-up
Alex Razumov (from Dev Box)
committed
Fixing unused code
Alex Razumov (from Dev Box)
committed
Addressed comments
Alex Razumov (from Dev Box)
committed
Experiment with gh pools
Alex Razumov (from Dev Box)
committed
Revert "Experiment with gh pools"
Alex Razumov (from Dev Box)
committed

Commits on Jan 27, 2026

Run Miri after PR merge only
Alex Razumov (from Dev Box)
committed
Merge branch 'main' into copilot/enable-miri-tests-ci-yml
Alex Razumov (from Dev Box)
committed
Merge branch 'main' into copilot/enable-miri-tests-ci-yml
Alex Razumov (from Dev Box)
committed