17 lines
560 B
Bash
Executable File
17 lines
560 B
Bash
Executable File
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
|
|
script_dir="$(cd -- "$(dirname -- "${BASH_SOURCE[0]}")" && pwd)"
|
|
repo_root="$(cd -- "${script_dir}/.." && pwd)"
|
|
compiler_dir="${repo_root}/compiler"
|
|
|
|
# Focused standard-runtime conformance gate. scripts/release-gate.sh remains the full
|
|
# release gate and is not replaced by this script.
|
|
git -C "${repo_root}" diff --check
|
|
|
|
cd "${compiler_dir}"
|
|
cargo fmt --check
|
|
cargo test --test standard_runtime_conformance_alignment
|
|
cargo test --test standard_time
|
|
cargo test --test promotion_gate promotion_gate_artifacts_are_aligned
|