Rename file to name expected in CI scripts

This commit is contained in:
Robert Schmidt
2021-12-26 23:46:38 +01:00
parent d74180cabb
commit 206043e5ca