#!/bin/bash
set -e

cargo +nightly miri test --locked --workspace --verbose --all-features