Initial commit

verify-all.sh

@@ -0,0 +1,31 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+repo_root="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
+cd "$repo_root"
+
+host_bins=(
+  --bin 00_check
+  --bin 01_rust_basics
+  --bin 02_ownership
+  --bin 03_types
+  --bin 07_events
+  --bin 09_sensor_pipeline
+  --bin 10_motor_commands
+  --bin 11_kinematics
+)
+
+embedded_bins=(
+  --target thumbv7m-none-eabi
+  --bin 04_first_firmware
+  --bin 05_rgb_output
+  --bin 06_button_events
+  --bin 08_state_machine
+  --bin 12_embassy
+)
+
+cargo fmt --all --check
+cargo clippy "${host_bins[@]}" -- -D warnings
+cargo clippy "${embedded_bins[@]}" -- -D warnings
+cargo test "${host_bins[@]}"
+cargo build "${embedded_bins[@]}"