set -euxo pipefail

main() {
    cargo check --target $TARGET
    cargo test --target $TARGET --features unproven
}

main