_default:
@just --list
miri:
#!/bin/sh
set -euxf
podman container run \
--rm \
--security-opt label=disable \
--mount type=bind,source=.,destination=/mnt/src \
-w /mnt/src \
docker.io/fedora:41
sh -c '
curl --proto '=https' --tlsv1.2 https://sh.rustup.rs -sSf | sh -s -- -c miri,rust-src --default-toolchain nightly -y
cargo miri test
'