Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add miri to CI #464

Merged
merged 4 commits into from
Mar 11, 2024
Merged

Add miri to CI #464

merged 4 commits into from
Mar 11, 2024

Commits on Nov 9, 2023

  1. Add miri to CI

    @DropDemBits
    DropDemBits committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    8eadaf3 View commit details
    Browse the repository at this point in the history

Commits on Nov 10, 2023

  1. Add -Zmiri-isolation-error=warn miri flag 

    `-Zmiri-disable-isolation` can't be used since `insta` eventually ends up
calling `pipe2`, which currently doesn't have a shim in miri.
    @DropDemBits
    DropDemBits committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    95d5fc2 View commit details
    Browse the repository at this point in the history

Commits on Nov 11, 2023

  1. Only execute miri on the salsa-2022 packages 

    These don't need to disable isolation so the `-Zmiri-isolation-error` flag can be removed.
    @DropDemBits
    DropDemBits committed Nov 11, 2023
    Configuration menu
    Copy the full SHA
    e8fe17e View commit details
    Browse the repository at this point in the history

  2. Bump arc-swap to 1.6.0 

    1.6.0 fixes some UB in previous versions of `arc-swap`.
    @DropDemBits
    DropDemBits committed Nov 11, 2023
    Configuration menu
    Copy the full SHA
    407d6bc View commit details
    Browse the repository at this point in the history