Fix pipeline badge in README
relates to #2173 (closed)
Note: this fixes only the README. The duplicate entry in the project despription needs to be fixed by someone with Maintainer/Owner rights in this repo.
Edited by Bene
relates to #2173 (closed)
Note: this fixes only the README. The duplicate entry in the project despription needs to be fixed by someone with Maintainer/Owner rights in this repo.