Skip to content

Merge branch 'feature/update-readme-badge' into 'master'

Timo Koch requested to merge cherry-pick-627d394a into releases/3.0

[doc] Update build badge to new url

See merge request !1465 (merged)

(cherry picked from commit 627d394a)

9271c26c [doc] Update build badge to new url

Merge request reports