diff options
Diffstat (limited to '.github/pre-push')
-rwxr-xr-x | .github/pre-push | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/.github/pre-push b/.github/pre-push deleted file mode 100755 index d117589..0000000 --- a/.github/pre-push +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/bash -set -e -luacheck lua tests - -stylua --check . - -lua-typecheck lua |