Currently the project is not tested automatically. It can be improved later, and then revert this commit.