Skip to content
edgesync Artifact [0aae2a9e69]
Login

Artifact [0aae2a9e69]

Artifact 0aae2a9e69e75aeec871ced520edb426c71a991ef6ca2a2d686ac333c186c439:


#!/usr/bin/env bash
# Pre-push hook — runs `make ci-fast` (~60s) to catch obvious breakage
# before pushing. Mirrors a fast subset of GitHub CI.
#
# Skip with: git push --no-verify

set -e
echo "[pre-push] running make ci-fast..."
cd "$(git rev-parse --show-toplevel)"
make ci-fast