mirror of https://gitlab.com/tildes/tildes.git
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
6 lines
193 B
6 lines
193 B
#!/bin/sh
|
|
#
|
|
# Pre-push hook script that ensures all tests and code checks pass
|
|
|
|
vagrant ssh -c ". activate \
|
|
&& invoke type-checking test --quiet --html-validation check-code-style --full"
|