Commit ece8534d authored Sep 12, 2022 by Jan Kiene

Merge branch 'add-logs-to-artifacts-for-selftest-with-sanitizers' into 'main'

Ci file maintenance

See merge request !123