what's left: - github build progress notifications (need to upgrade to Gitlab Silver for this) - github releases - uploading coverage results to codecov.io - what directories to cache between builds