Sep 10, 2017

Every commit causes the CI-server to build.

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