Commit 43788f3f authored Jul 30, 2024 by Jan Kiene

Merge branch 'ci/update-wmc-tool' into 'main'

[CI] update wmc tool to version 1.6

See merge request !1707