Commit 49573a9a authored Mar 07, 2024 by Jan Kiene

Merge branch 'ci/fix-coverage-test-again' into 'main'

fix weird character in ci file

See merge request !1443