Add a convenience wrapper

PeterJCLaw · PeterJCLaw · commit 0bac40f66f52 · 2021-06-15T21:51:15.000+01:00
diff --git a/scripts/check b/scripts/check
@@ -0,0 +1,11 @@
+#!/bin/sh
+
+cd $(dirname $0)/..
+
+./scripts/linting/lint
+result=$?
+
+./scripts/typing/check
+result=$((result | $?))
+
+exit $result
