Just linting

This commit is contained in:
2025-12-06 17:46:14 +01:00
parent 8c6f628a85
commit 56d4fd9a8e
1057 changed files with 20 additions and 18 deletions

View File

@@ -4,4 +4,4 @@ set -e # Exit on any error
./build.sh || { echo "Build failed"; exit 1; }
cd build || { echo "Cannot cd to build/"; exit 1; }
./main || { echo "main failed"; exit 1; }
cd .. || echo "Warning: failed to return to parent dir"
cd .. || echo "Warning: failed to return to parent dir"