#!/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"