#!/usr/bin/env bash
set -euo pipefail

REPO_ROOT="$(git rev-parse --show-toplevel)"
"$REPO_ROOT/scripts/run-local-coverage.sh" "$@"

if [ "${YAMS_PREPUSH_GH_LANE:-0}" = "1" ]; then
  PROFILE="${YAMS_PREPUSH_GH_PROFILE:-fast}"
  "$REPO_ROOT/scripts/local-ci/push-lane.sh" --profile "${PROFILE}"
fi