miri:
    set -ex
    cargo clean
    MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri)
    rustup set profile minimal
    rustup +nightly component add miri
    cargo miri setup
    cargo miri test --verbose