Sep 19, 2018

Every commit causes the CI-server to build.

The more (pushed) commits, the more builds, the faster feedback if something went wrong.