summaryrefslogtreecommitdiff
path: root/Biz/Ide/pre-push
diff options
context:
space:
mode:
authorBen Sima <ben@bsima.me>2021-10-17 12:33:33 -0400
committerBen Sima <ben@bsima.me>2021-11-26 13:47:39 -0500
commit03ec537b1ee14f3304e9951f810085a90c61c44d (patch)
tree479cb7eed350013c6d7e7c3eb2d2028a877dcfc4 /Biz/Ide/pre-push
parentf432b7057738cb5123c8e1b506a2a1199e71ee72 (diff)
Fix ci script and pre-push
Diffstat (limited to 'Biz/Ide/pre-push')
-rwxr-xr-xBiz/Ide/pre-push2
1 files changed, 1 insertions, 1 deletions
diff --git a/Biz/Ide/pre-push b/Biz/Ide/pre-push
index 2a5ee7b..3d00aea 100755
--- a/Biz/Ide/pre-push
+++ b/Biz/Ide/pre-push
@@ -1,2 +1,2 @@
#!/usr/bin/env bash
-ci
+lint **/* && bild --test **/*