#!/bin/sh
#
# Pre-push hook script that ensures all tests and code checks pass

vagrant ssh -c ". activate \
    && invoke type-check test --quiet --full code-style-check --full"