10 lines
297 B
Bash
Executable file
10 lines
297 B
Bash
Executable file
#!/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
|