Skip to content

Use gitlab pipeline for build status badge instead of travis.

Johan Bloemberg requested to merge badge into master

Merge request reports