1
0
Fork 0
mirror of https://github.com/luanti-org/luanti.git synced 2025-09-05 18:41:05 +00:00

Complete rename to Luanti in package metadata (#16017)

This commit is contained in:
Lars Müller 2025-05-17 15:03:12 +02:00 committed by GitHub
parent 3020c192b2
commit a817fdffd2
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
5 changed files with 14 additions and 8 deletions

View file

@ -92,7 +92,7 @@ jobs:
- name: Check indent spaces
run: |
if git ls-files |\
grep -E '^src/.*\.cpp$|^src/.*\.[ch]$|\.lua' |\
grep -E '^src/.*\.cpp$|^src/.*\.[ch]$|\.lua$' |\
xargs grep -n -P '^\t*[ ]';\
then\
echo -e "\033[0;31mFound incorrect indent whitespaces";\