CI: Rename MAX IV CI file

This commit is contained in:
2023-12-05 11:28:15 +01:00
parent e8e90ff623
commit 412ee6f05c