#!/usr/bin/env bash
set -euo pipefail
echo "Running pre-push checks (lint + typecheck + test)..."
make check
