Test ci

Please do not merge this pull request (yet). We want it to show the CI github integration.