Makefile

Wir nutzen, wie auch viele andere Entwickler GitHub Workflows, damit wir einige Prozesse, wie Testing bei Pull Requests automatisieren können.