#!/bin/sh
# Run only in the designated remote validation environment.
set -eu
(
    cd vendor/aster
    sh scripts/check.sh
)
cargo fmt --all --check
cargo test --workspace --locked
cargo clippy --workspace --all-targets --locked -- -D warnings
python3 scripts/test_endor_examples.py