Fix ci file name

This commit is contained in:
bom 2024-05-10 12:12:08 +02:00
parent 7c5bc8f412
commit d35335c234