For developers After cloning this repository, please run cargo run --bin install-pre-commit-hook in the root folder. This adds a git pre-commit hook to the repository, and checks code style and runs tests before every commit.