Commit 7075ceac authored May 15, 2023 by Jan Kiene

Merge branch 'improve-ci-printout' into 'main'

CI: printout commit SHA after pulling from codec repo

See merge request !53