diff options
author | Steven Arcangeli <stevearc@stevearc.com> | 2023-08-25 11:15:12 -0700 |
---|---|---|
committer | Steven Arcangeli <stevearc@stevearc.com> | 2023-08-25 11:43:47 -0700 |
commit | eb5987e9dd40ce1e27c9c07e41d09571f1bd876e (patch) | |
tree | b4cffe35e0893272cedc0ecf0229d08be343d70e /.github/pre-push | |
parent | 100fd00d40423af85c4c7efcf875f8e4ee329f50 (diff) |
feat: first working version
Diffstat (limited to '.github/pre-push')
-rwxr-xr-x | .github/pre-push | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.github/pre-push b/.github/pre-push new file mode 100755 index 0000000..d117589 --- /dev/null +++ b/.github/pre-push @@ -0,0 +1,7 @@ +#!/bin/bash +set -e +luacheck lua tests + +stylua --check . + +lua-typecheck lua |