This repository was archived by the owner on Dec 19, 2025. It is now read-only.
This repository was archived by the owner on Dec 19, 2025. It is now read-only.
CI: enforce that all files end with a new line. #78
Title. We should have a general formatting checker and it can start with this.