Fix gitlab CI file name

This commit is contained in:
Pal Kerecsenyi 2024-01-08 15:24:58 +00:00
parent 2e4e857b37
commit 79f01bf33c
Signed by: palk
GPG Key ID: 6891661E25394C2C