(ci) add separate luacheck step and generation check (#53)

This commit is contained in:
Enrique García Cota 2022-02-13 22:29:13 +01:00 committed by GitHub
parent 35ed97a2d7
commit 2d842fb78b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -19,11 +19,25 @@ jobs:
- uses: leafo/gh-actions-luarocks@v4.0.0 - uses: leafo/gh-actions-luarocks@v4.0.0
- name: build - name: make_dev
run: | run: |
luarocks install busted make dev
luarocks make luarocks make
- name: check_generation
run: |
cp inspect.lua inspect.lua.bak
make gen
if ! cmp --silent inspect.lua inspect.lua.bak ; then
echo "The generated inspect.lua is different from the one in the repo." \
"Please make your modifications in inspect.tl, regenerate with 'make dev && make'," \
"and commit both inspect.tl and inspect.lua in your Pull Request"
exit 1
fi
- name: luacheck
run: luacheck inspect.lua
- name: test - name: test
run: | run: |
busted -o utfTerminal busted -o utfTerminal