_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
        '

