CI: fix file name
All checks were successful
/ test (push) Successful in 17s
/ build (push) Successful in 2s

This commit is contained in:
phil 2024-11-03 19:32:05 +01:00
parent 93d414673c
commit 5ef71e1f17