#!/usr/bin/env bash # Generate coverage and enforce FLUTTER-TDD-PLAN.md Section 2 thresholds. set -euo pipefail ROOT="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)" bash "$ROOT/scripts/admin-portal-coverage.sh" dart "$ROOT/scripts/check_admin_portal_coverage.dart"