diff options
Diffstat (limited to 'Biz/Ide')
| -rwxr-xr-x | Biz/Ide/pre-push | 2 |
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 **/* |