Merge branch 'pypi-badge' into 'devel'

Add a badge for the PyPI package

Closes #138

See merge request !172
1 job for devel in 3 minutes and 39 seconds
latest
Status Job ID Name Coverage
  Build
passed #739619370
compile

00:03:39