Fix CI file name

This commit is contained in:
2021-06-24 21:30:28 +02:00
parent 3604dfaed5
commit 85d71ac8b2