From 03ec537b1ee14f3304e9951f810085a90c61c44d Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Sun, 17 Oct 2021 12:33:33 -0400
Subject: Fix ci script and pre-push

---
 Biz/Ide/pre-push | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Biz/Ide/pre-push')

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 **/*
-- 
cgit v1.2.3