Unfortunately, most unit tests currently can't run in miri because they use foreign functions (e.g., the logarithm). But this at least runs some tests in miri, and it adds the machinery for running miri tests in CI, which will make it easier to add dedicated miri tests in the future.
Unfortunately, most unit tests currently can't run in miri because they use foreign functions (e.g., the logarithm). But this at least runs some tests in miri, and it adds the machinery for running miri tests in CI, which will make it easier to add dedicated miri tests in the future.